Article

Petri nets and programming: a survey

Authors:

Marian V. Iordache,

Panos J. AntsaklisAuthors Info & Claims

ACC'09: Proceedings of the 2009 conference on American Control Conference

Pages 4994 - 4999

Published: 10 June 2009 Publication History

Abstract

Petri nets and related models have been used for specification, analysis, and synthesis of programs. The paper contains a survey of several literature approaches and an examination of their relationship to Petri net modeling and supervisory control. The discussion is restricted to Petri net models in the class of place/transitions nets and the supervisory control of this class of models.

References

[1]

T. Murata, "Petri nets: Properties, analysis and applications," in Proceedings of the IEEE, Apr. 1989, pp. 541-580.

[2]

M. V. Iordache and P. J. Antsaklis, Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, 2006.

Digital Library

[3]

L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," Discrete Event Dynamic Systems, vol. 7, no. 2, pp. 151-190, 1997.

Digital Library

[4]

M. V. Iordache and P. J. Antsaklis, "Supervision based on place invariants: A survey," Discrete Event Dynamic Systems, vol. 16, pp. 451-492, 2006.

Digital Library

[5]

M. V. Iordache and P. J. Antsaklis, "Petri net supervisors for disjunctive constraints," in Proceedings of the 2007 American Control Conference, 2007, pp. 4951-4956.

[6]

N. Halbwachs, Synchronous Programming of Reactive Systems. Kluwer Academic, 1993.

Digital Library

[7]

F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The Polis Approach. Kluwer Academic Publishers, 1997.

Digital Library

[8]

M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli, "A formal specification model for hard-ware/software codesign," in Proceedings of the International Workshop on Hardware-Software Codesign, 1993.

[9]

L. E. Holloway, X. Guan, and R. Sundaravadivelu, "Automated synthesis and composition of taskblocks for control of manufacturing systems," IEEE Transactions on Systems, Man, and Cybernetics: Part B, vol. 30, no. 5, pp. 696-712, 2000.

Digital Library

[10]

J. Ashley and L. Holloway, "Automated control, observation, and diagnosis of multi-layer condition systems," Studies in Informatics and Control, vol. 16, no. 1, 2007.

[11]

D. Shewa, J. Ashley, and L. Holloway, "Spectool 2.4 beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems," in Proceedings of the 8th International Workshop on Discrete Event Systems, 2006, pp. 477-478.

[12]

"Spectool homepage," http://www.engr.uky.edu/~holloway/spectool.

[13]

X. Guan and L. Holloway, "Supervisory control of contradictions in hierarchical task controllers," in Proceedings of the 37th Annual Allerton Conference on Communication, Control, and Computing, Urbana-Champaign, 1999.

[14]

B. Lin, "Software synthesis of process-based concurrent programs," in DAC '98: Proceedings of the 35th annual conference on Design automation. ACM Press, 1998, pp. 502-505.

Digital Library

[15]

S. Shatz, K. Mai, D. Moorthi, and J. Woodward, "A toolkit for automated support of Ada-tasking analysis," in Proceedings of the 9th International Conference on Distributed Computing Systems, 1989, pp. 595-602.

[16]

S. Vercauteren, D. Verkest, G. de Jong, and B. Lin, "Derivation of formal representations from process-based specification and implementation models," in Proceedings of the 10th International Symposium on System Synthesis (ISSS '97), 1997, pp. 16-23.

Digital Library

[17]

K. Barkaoui and J.-F. Pradat-Peyre, "Verification in concurrent programming with Petri nets structural techniques," in High-Assurance Systems Engineering Symposium, 1998, pp. 124-133.

Digital Library

[18]

T. Murata, B. Shenker, and S. M. Shatz, "Detection of Ada static deadlocks using Petri net invariants." IEEE Transactions on Software Engineering, vol. 15, no. 3, pp. 314-326, 1989.

Digital Library

[19]

C. Stehno, "Real-time systems design with PEP," in Tools and Algorithms for the Construction and Analysis of Systems, ser. Lecture Notes in Computer Science, Katoen, J.-P. and Stevens P., Eds. Springer-Verlag, 2002, vol. 2280, pp. 476-480.

Digital Library

[20]

E. Best and R. Hopkins, "B(PN)2 - a basic Petri net programming notation," in PARLE, ser. Lecture Notes in Computer Science, Bode, A., Reeve, M., and Wolf, G., Eds. Springer-Verlag, 1993, vol. 694, pp. 379-390.

Digital Library

[21]

H. Fleischhack and B. Grahlmann, "A compositional Petri net semantics for sdl," in Application and Theory of Petri Nets, ser. Lecture Notes in Computer Science, Desel J. and Silva M., Eds. Springer-Verlag, 1998, vol. 1420, pp. 144-164.

Digital Library

[22]

B. Grahlmann, M. Moeller, and U. Anhalt, "A new interface for the PEP tool - parallel finite automata," in Workshop Algorithmen und Werkzeuge für Petrinetze, ser. AIS, Desel, J. and Fleischhack, H. and Oberweis, A. and Sonnenschein, M., Ed., 1995, vol. 22, pp. 21-26.

[23]

E. Best, R. Devillers, and M. Koutny, "Petri nets, process algebras and concurrent programming languages," in Lectures on Petri Nets II: Applications, ser. Lecture Notes in Computer Science, Reisig, W. and Rozenberg, G., Eds. Springer-Verlag, 1998, vol. 1492, pp. 1-84.

Digital Library

[24]

E. Best, W. Fraczak, R. Hopkins, H. Klaudel, and E. Pelz, "M-nets: an algebra of high-level petri nets, with an application to the semantics of concurrent programming languages," Acta Informatica, vol. 35, no. 10, pp. 813-857, 1998.

[25]

A. Burns, A. J. Wellings, F. Burns, A. M. Koelmans, M. Koutny, A. Romanovsky, and A. Yakovlev, "Towards modelling and verification of concurrent ada programs using petri nets," Computer Systems Science and Engineering, vol. 16, no. 3, pp. 173-182, 2001.

[26]

M. Notomi and T. Murata, "Hierarchical reachability graph of bounded petri nets for concurrent-software analysis," IEEE Transactions on Software Engineering, vol. 20, no. 5, pp. 325-336, 1994.

Digital Library

[27]

S. Shatz, S. Tu, T. Murata, and S. Duri, "An application of Petri net reduction for Ada tasking deadlock analysis," IEEE Trans. on Parallel and Distributed Systems, vol. 7, no. 12, pp. 1307-1322, 1996.

Digital Library

[28]

M. Lemmon and K. He, "Supervisory plug-ins for distributed software." in Proceedings of the Workshop on Software Engineering and Petri Nets, Pezze, M. and Shatz, M., Eds. University of Aarhus, Department of Computer Science, 2000, pp. 155-172.

[29]

M. Lemmon, K. He, and S. Shatz, "Dynamic reconfiguration of software objects using Petri nets and network unfolding," in Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2000, pp. 3069-3074.

[30]

Y. Wang, T. Kelly, M. Kudlur, S. Mahlke, and S. Lafortune, "The application of supervisory control to deadlock avoidance in concurrent software," in Proceedings of the 9th International Workshop on Discrete Event Systems, 2008, pp. 287-292.

[31]

N. Mittal and V. Garg, "Debugging distributed programs using controlled re-execution," University of Texas at Austin, Tech. Rep., 2000, technical report TR-PDS-2000-002 of the Parallel & Distributed Systems group.

[32]

A. Tarafdar and V. K. Garg, "Predicate control: syn-chronization in distributed computations with look-ahead," Journal of Parallel and Distributed Computing, pp. 219-237, 2004.

Digital Library

[33]

E. A. Lee and D. G. Messerschmitt, "Static scheduling of synchronous data flow programs for digital signal processing," IEEE Transactions on Computers, vol. 36, no. 1, pp. 24-35, 1987.

Digital Library

[34]

J. Cortadella, A. Kondratyev, L. Lavagno, and Y. Watanabe, "Quasi-static scheduling for concurrent architectures," in Third International Conference on Application of Concurrency to System Design (ACSD 2003). IEEE Computer Society, June 2003, pp. 29-40.

Digital Library

[35]

J. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone, and Y. Watanabe, "Quasi-static scheduling of independent tasks for reactive systems," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2005.

Digital Library

[36]

P.-A. Hsiung, "Formal synthesis and code generation of embedded real-time software," in CODES '01: Proceedings of the 9th International Symposium on Hardware/Software Codesign. ACM Press, 2001, pp. 208-213.

Digital Library

[37]

C. Liu, A. Kondratyev, Y. Watanabe, J. Desel, and A. Sangiovanni-Vincentelli, "Schedulability analysis of Petri nets based on structural properties," in IEEE International Conference on Application of Concurrency to System Design, 2006.

Digital Library

[38]

M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli, "Synthesis of embedded software using free-choice Petri nets," in Proceedings of the 36th Design Automation Conference (DAC-99), 1999, pp. 805-810.

Digital Library

[39]

K. Altisen, G. Gosler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine, "A framework for scheduler synthesis," in 20th IEEE Real-Time Systems Symposium. IEEE Computer Society, 1999, pp. 154-163.

Digital Library

[40]

K. Strehl, L. Thiele, D. Ziegenbein, R. Ernst, and J. Teich, "Scheduling hardware/software systems using symbolic techniques," in Internat. Workshop on Hardware/Software Codesign, 1999, pp. 173-177.

Digital Library

[41]

M. V. Iordache and P. J. Antsaklis, "Decentralized supervision of Petri nets," IEEE Transactions on Automatic Control, vol. 51, no. 2, pp. 376-381, 2006.

Cited By

Brant-Ribeiro TAraújo RMendonça ISoares MCattelan R(2019)Interactive web interfaces modeling, simulation and analysis using Colored Petri NetsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0593-x18:1(721-737)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0593-x
Lafortune SWang YReveliotis S(2013)Eliminating concurrency bugs in multithreaded softwareProceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency10.1007/978-3-642-38697-8_2(21-28)Online publication date: 24-Jun-2013
https://dl.acm.org/doi/10.1007/978-3-642-38697-8_2

Index Terms

Petri nets and programming: a survey

Index terms have been assigned to the content through auto-classification.

Recommendations

From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
WSC '19: Proceedings of the Winter Simulation Conference

Petri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many ...
Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance Models

It had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and ...
Petri nets and resource bisimulation
Concurrency Specification and Programming (CS&P'2002), Part 2

Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

ACC'09: Proceedings of the 2009 conference on American Control Conference

June 2009

5820 pages

ISBN:9781424445233

Publisher

IEEE Press

Publication History

Published: 10 June 2009

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

Brant-Ribeiro TAraújo RMendonça ISoares MCattelan R(2019)Interactive web interfaces modeling, simulation and analysis using Colored Petri NetsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0593-x18:1(721-737)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0593-x
Lafortune SWang YReveliotis S(2013)Eliminating concurrency bugs in multithreaded softwareProceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency10.1007/978-3-642-38697-8_2(21-28)Online publication date: 24-Jun-2013
https://dl.acm.org/doi/10.1007/978-3-642-38697-8_2

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents