𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebra of regular Petri nets

✍ Scribed by V. E. Kotov

Publisher
Springer US
Year
1980
Tongue
English
Weight
897 KB
Volume
16
Category
Article
ISSN
1573-8337

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

High-level algebraic Petri nets
High-level algebraic Petri nets
✍ Chieh-Ying Kan; Xudong He πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 914 KB
Petri nets
Petri nets
✍ Y. Narahari πŸ“‚ Article πŸ“… 1999 πŸ› Indian Academy of Sciences 🌐 English βš– 840 KB
Unifying Petri Nets with Restricted Occu
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra
✍ JΓΆrg Desel; Gabriel JuhΓ‘s; Robert Lorenz πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 292 KB

The aim of this paper is to present a unifying concept for Petri nets with restricted occurrence rule, to obtain non-sequential semantics in a systematic way. It is shown that partial algebra is a suitable basis for process construction. Restrictions of the occurrence rule are translated into restri