๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Representation of nonstructured concurrency by Petri net languages

โœ Scribed by Hyung Lee-Kwang; Favrel, J.


Book ID
114550484
Publisher
Institute of Electrical and Electronics Engineers
Year
1993
Weight
373 KB
Volume
23
Category
Article
ISSN
0018-9472

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Efficient analysis of concurrent systems
โœ Kunihiko Hiraishi ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 178 KB

In the theoretical analysis of Petri nets there are many results for subclasses of Petri nets restricted by structural or behavioral properties. Recently, new types of analytical methods that are not restricted to special classes of Petri nets have been proposed. These methods aim to improve the ave

A logical approach of Petri net language
โœ Michel Parigot; Elisabeth Pelz ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 775 KB