𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Embedded processes in stochastic Petri nets

✍ Scribed by Henderson, W.; Taylor, P.G.

Book ID
117872271
Publisher
IEEE
Year
1991
Tongue
English
Weight
900 KB
Volume
17
Category
Article
ISSN
0098-5589

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 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