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