Free Choice Petri Nets
Use attributes for filter ! | |
Google books | books.google.com |
---|---|
Originally published | January 12, 1995 |
Authors | Jörg Desel |
Date of Reg. | |
Date of Upd. | |
ID | 3143304 |
About Free Choice Petri Nets
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. . . .