مرکز منطقه ای اطلاع رساني علوم و فناوري - Modular analysis of concurrency in jumping Petri nets

DocumentCode :

3621035

Title :

Modular analysis of concurrency in jumping Petri nets

Author :

C. Vidrascu

Author_Institution :

Fac. of Comput. Sci., Iasi Univ. "Al. I. Cuza", Romania

fYear :

2005

fDate :

6/27/1905 12:00:00 AM

Abstract :

The goal of this paper is to study the relationships between the concurrency-degrees of a jumping Petri net and those of its subnets.

Keywords :

"Concurrent computing","Petri nets","Terminology","Power system modeling","Computer science","Mathematical model","Fires","Councils","Formal languages","Scientific computing"

Publisher :

ieee

Conference_Titel :

Symbolic and Numeric Algorithms for Scientific Computing, 2005. SYNASC 2005. Seventh International Symposium on

Print_ISBN :

0-7695-2453-2

Type :

conf

DOI :

10.1109/SYNASC.2005.46

Filename :

1595876

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3621035