50 years after the PhD thesis of Carl Adam Petri: A perspective

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 45, Issue 29, 2012, Pages 13-20

  Silva, Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Carl Adam Petri; Condition Event net; Discrete Event Dynamic System (DEDS); Fluidization; Petri Net (PN); PN paradigm

Indexed keywords

DYNAMICAL SYSTEMS; FLUIDIZATION; PETRI NETS; SYSTEM THEORY;

CARL ADAM PETRI; CONDITION/EVENT NET; DISCRETE EVENT DYNAMIC SYSTEMS; PERSONAL CONTACTS; PHD THESIS; PN PARADIGM;

DISCRETE EVENT SIMULATION;

EID: 84881038063     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20121003-3-MX-4033.00006     Document Type: Conference Paper

References (41)

1. Blanchard, M. et al. (1977). Pour une représentation normalisée du cahier des charges d'un automatisme logique. Automatique et Informatique Industrielle, (61-62).
2. Brams, G.W. (1983). Réseaux de Petri: Théorie et Pratique. Masson.
3. Brauer, W. (ed.) (1979). Net Theory and Applications, volume 84 of Lecture Notes in Computer Science. Springer.
4. Campos, J., Chiola, G., and Silva, M. (1991). Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Trans. on Automatic Control, 36(12), 1368-1382.
5. Colom, J.M. (2003). The resource allocation problem in flexible manufacturing systems. In van der Aalst, W-M-P. and Best, E. (ed.), Proc. of the 24th Int. Conf. on Applications and Theory of Petri Nets, volume 2679 of LNCS, 23-35. Springer-Verlag, Eindhoven, Netherlands.
6. David, R. and Alla, H. (1987). Continuous Petri Nets. In Proc. of the 8th European Workshop on Application and Theory of Petri Nets, 275-294. Zaragoza, Spain.
7. st ed., 2004).
8. Ezpeleta, J., Colom, J.M., and Martínez, J. (1995). A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on Robotics and Automation, 11(2), 173-184.
9. Fishman, G.S. (1973). Concepts and methods in discrete event digital simulation. Wiley.
10. Fleming, W.H. (1988). Future directions in control theory: a mathematical perspective. Report of the Panel on Future Directions in Control Theory, SIAM.
11. Forrester, J.W. (1961). Industrial Dynamics. MIT Press, Cambridge, Mass.
12. Giua, A. and Seatzu, C. (2007). A system theory view of Petri nets. In Advances in Control Theory and Applications, volume 353 of LNCIS, 99-127. Springer.
13. Ho, Y.C. (ed., 1989). Special Issue on Discrete Event Systems. Procs. of the IEEE, 77(1).
14. Hoffsaesb, C. (1990). The french society of computer scientists: AFCET. Annals of the History of Computing, 12(3), 167-176.
15. Iordache, M.V. and Antsaklis, P.J. (2006). Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhauser Boston.
16. Kuhn, T.S. (1962). The Structure of Scientific Revolutions. University of Chicago Press.
17. López-Grao, J.P. and Colom, J.M. (2012). A Petri net perspective on the Resource Allocation Problem in software engineering. Trans. On Petri Nets and Other models of Concurrency V (ToPNoC V), 6900, 181-200.
18. Mayr, O. (1970). The origins of feedback control. The MIT Press, Cambridge (Massachusetts).
19. Milner, R. (1980). A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer Verlag.
20. Milner, R. (1993). Elements of Interaction. Communications of the ACM, 36(1), 78-89.
21. Moalla, M., Sifakis, J., and Silva, M. (1980). A la recherche d'une méthodologie de conception sûre des automatismes logiques basée sur l'utilisation des réseaux de Petri. In Monographie AFCET: Sureté de Fonctionnement des Systèmes Informatiques, 133-167. Eds. Hommes et Techniques.
22. Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. Procs. of the IEEE, 77(4), 541-580.
23. Park, J. and Reveliotis, S.A. (2001). Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. on Automatic Control, 46(10), 1572-1583.
24. Peterson, J.L. (1981). Petri Net Theory and the Modeling of Systems. Prentice-Hall.
25. Petri, C.A. (1962). Kommunication mit Automaten. Ph.D. thesis, Technischen Hoschule Darmstadt.
26. Petri, C.A. (1966). Communication with automata. Rome Air Development Center-TR-65-377, New York.
27. Petri, C.A. and Smith, E. (2007). The pragmatic dimension of net theory. In Procs. of the 8th European Workshop on Applications and Theory of Petri Nets. Zaragoza.
28. Recalde, L., Teruel, E., and Silva, M. (2001). Structure Theory of Multi-Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science, 254(1-2), 1-33.
29. Rozenberg, G. and Reisig, W. (eds.) (1998a). Lectures in Petri Nets, I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag.
30. Rozenberg, G. and Reisig, W. (eds.) (1998b). Lectures in Petri Nets, II: Applications, volume 1492 of Lecture Notes in Computer Science. Springer.
31. Silva, M. (1985). Las Redes de Petri: en la Automática y la Informática. Ed. AC, Madrid (2nd ed., Thomson-AC, 2002).
32. Silva, M. (1993). Introducing Petri nets. In Practice of Petri Nets in Manufacturing, 1-62. Chapman and Hall.
33. Silva, M. and Colom, J. (1988). On the computation of structural synchronic invariants in P/T nets. Advances in Petri Nets 1988, 386-417.
34. Silva, M., Júlvez, J., Mahulea, C., and Vázquez, C. (2011). On fluidization of discrete event models: observation and control of continuous Petri nets. Journal on Discrete Event Dynamic Systems, 21, 427-497.
35. Silva, M. and Murata, T. (1992). B-fairness and structural b-fairness in petri net models of concurrent systems. Journal of Computer and System Sciences, 44, 447-477.
36. Silva, M. and Teruel, E. (1996). A Systems Theory Perspective of Discrete Event Dynamic Systems: The Petri Net Paradigm. In Symp. on Discrete Events and Manufacturing Systems. CESA '96 IMACS Multiconference, 1-12. Lille.
37. Sussmann, H. and Willems, J.C. (1997). 300 years of optimal control: from the brachystochrone to the maximum principle. IEEE Control Systems Magazine, 17(3), 32-44.
38. Teruel, E. and Silva, M. (1996). Structure Theory of Equal Conflict Systems. Theoretical Computer Science, 153(1-2), 271-300.
39. Voss, K., Genrich, H., and Rozenberg, G. (eds.) (1987). Concurrency and Nets. Springer.
40. Zeigler, B.P. (1984). Multifacetted Modelling and Discrete Event Simulation. Academic Press.
41. Zeigler, B.P. (1976). Theory of Modeling and Simulation. John Wiley.