𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Process of petri nets extension

✍ Scribed by Zhou Guofu; He Yanxiang

Publisher
Wuhan University
Year
2006
Tongue
English
Weight
342 KB
Volume
11
Category
Article
ISSN
1007-1202

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

Branching processes of Petri nets
Branching processes of Petri nets
✍ Joost Engelfriet πŸ“‚ Article πŸ“… 1991 πŸ› Springer-Verlag 🌐 English βš– 914 KB
Petri nets
Petri nets
✍ Y. Narahari πŸ“‚ Article πŸ“… 1999 πŸ› Indian Academy of Sciences 🌐 English βš– 840 KB
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