𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Petri nets in dynamic process planning

✍ Scribed by K. Srihari; C.R. Emerson

Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
345 KB
Volume
19
Category
Article
ISSN
0360-8352

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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