𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Branching processes of Petri nets

✍ Scribed by Joost Engelfriet

Publisher
Springer-Verlag
Year
1991
Tongue
English
Weight
914 KB
Volume
28
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Processes of timed Petri nets
Processes of timed Petri nets
✍ JΓ³zef Winkowski πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 286 KB

Processes of timed Petri nets are represented by labelled partial orders with some extra features. These features re ect the execution times of processes and allow to combine processes sequentially and in parallel, which leads to some algebras. The processes can be represented either without specify

Petri Nets and Regular Processes
Petri Nets and Regular Processes
✍ Petr Jančar; Javier Esparza; Faron Moller πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 364 KB

We consider the following problems: (a) Given a labelled Petri net and a finite automaton, are they equivalent?; (b) Given a labelled Petri net, is it equivalent to some (unspecified) finite automaton? These questions are studied within the framework of trace and bisimulation equivalences, in both t

Process of petri nets extension
Process of petri nets extension
✍ Zhou Guofu; He Yanxiang πŸ“‚ Article πŸ“… 2006 πŸ› Wuhan University 🌐 English βš– 342 KB
Petri nets
Petri nets
✍ Y. Narahari πŸ“‚ Article πŸ“… 1999 πŸ› Indian Academy of Sciences 🌐 English βš– 840 KB