Free-choice Petri nets - An algebraic approach

IEEE Transactions on Automatic Control

Volumn 41, Issue 12, 1996, Pages 1751-1778

  Baccelli, François ^a   Foss, Serguei ^b   Gaujal, Bruno ^a  

^a INRIA   (France)

^b NOVOSIBIRSK STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; LINEAR ALGEBRA; LINEAR CONTROL SYSTEMS; STOCHASTIC CONTROL SYSTEMS; SYSTEM STABILITY; THEOREM PROVING;

ERGODIC THEORY; EVENT GRAPHS; EVOLUTION EQUATIONS; FREE CHOICE PETRI NETS; IDEMPOTENT ALGEBRAS; LIVENESS;

PETRI NETS;

EID: 0030412494     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.545714     Document Type: Article

References (17)

1. F. Baccelli, G. Cohen, and B. Gaujal, "Recursive equations and basic properties of timed petri nets," DEDS: Theory Appl., vol. 1, no. 4, pp. 415-439, 1992.
2. F. Baccelli, G. Cohen, G. J. Olsder, and J. P. Quadrat, Synchronization and Linearity. New York: Wiley, 1992.
3. F. Baccelli and S. Foss, "Stability of Jackson-type queueing networks," Queueing Syst., p. 17, 1994.
4. _, "On the saturation rule for the stability of queues," J. AP, vol. 32, pp. 494-507, June 1995.
5. F. Baccelli and B. Gaujal, "Stationary regime and stability of free choice petri nets," in Proc. 11th Int. Conf. Anal. Optimization Syst., LNCIS, 199, 1994, pp. 505-522.
6. F. Baccelli, N. Furmento, and B. Gaujal, "Parallel and distributed simulation of free choice petri nets," in Proc. 9th Wkshp. Parallel Distributed Simulation, June 1995.
7. J. T. Buck, "Scheduling dynamic dataflow graphs with bounded memory using the token flow model," Ph.D. dissertation, Univ. California, Berkeley, 1993.
8. G. Cohen, S. Gaubert, and P.-P. Quadrat, "Asymptotic throughput of continuous petri nets," in Proc. 34th Conf. Decision Contr., 1995, vol. 2, pp. 2029-2034.
9. F. Commoner, "Deadlocks in petri nets," Appl. Data Res., vol. CA-7606-2311, 1972.
10. J. Desel and L. Esparza, "Free choice petri nets," Cambridge Tracts Theoretical Camp. Sci., no. 40, 1995.
11. L. Esparza and M. Silva, "On the analysis and synthesis of free choice systems," in Advances in Petri Nets, vol. 483, G. Rozenberg, Ed., 1990, pp. 243-286.
12. B. Gaujal, "Parallélisme et simulation des systèmes à événements discrets," Ph.D. dissertation, Univ. de Nice Sophia-Antipolis, 1994.
13. T. E. IIarris, The Theory of Branching Processes. Berlin: Springer, 1969.
14. N. D. Jones, L. H. Landweber, and Y. E. Lien, "Complexity of some problems in petri nets," Theoretical Comp. Sci., vol. 4, 1977.
15. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, 1989.
16. M. Silva, "Las Redes de Petri: En la Automática y la Informática," AC Editorial, 1985.
17. P. S. Thiagarajan and K. Voss, "A fresh look at free choice nets," Info. Contr., vol. 62, pp. 85-113, 1984.