Petri net (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Petri net" in English language version.

refsWebsite

Global rank English rank

39doi.org

2^nd place

10semanticscholar.org

11^th place

8^th place

7web.archive.org

1^st place

6worldcat.org

5^th place

3harvard.edu

18^th place

17^th place

3arxiv.org

69^th place

59^th place

3psu.edu

207^th place

136^th place

2tue.nl

9,054^th place

6,363^rd place

2nih.gov

4^th place

1ntnu.no

7,215^th place

5,735^th place

1berkeley.edu

580^th place

462^nd place

1uni-bielefeld.de

9,437^th place

low place

1books.google.com

3^rd place

1springer.com

274^th place

309^th place

1au.dk

8,222^nd place

8,022^nd place

1llpn.com

low place

1cam.ac.uk

670^th place

480^th place

1degruyter.com

1,425^th place

1,138^th place

1wikipedia.org

low place

1mit.edu

415^th place

327^th place

1icm.edu.pl

2,656^th place

5,310^th place

arxiv.org

Czerwiński, Wojciech; Lasota, Sławomir; Lazic, Ranko; Leroux, Jerome; Mazowiecki, Filip (2018). "The Reachability Problem for Petri Nets is Not Elementary (Extended Abstract)". arXiv:1809.07115 [cs.FL].
Leroux, Jérôme (2021). "The Reachability Problem for Petri Nets is Not Primitive Recursive". arXiv:2104.12695 [cs.LO].
Czerwiński, Wojciech; Orlikowski, Łukasz (2021). "Reachability in vector addition systems is Ackermann-complete". arXiv:2104.13866 [cs.FL].

au.dk

daimi.au.dk

"Very Brief Introduction to CP-nets". Department of Computer Science, University of Aarhus, Denmark. Archived from the original on 2010-10-28. Retrieved 2007-08-22.

berkeley.edu

inst.eecs.berkeley.edu

Murata, Tadao (April 1989). "Petri Nets: Properties, Analysis and Applications" (PDF). Proceedings of the IEEE. 77 (4): 541–558. doi:10.1109/5.24143. Retrieved 2024-05-26.

books.google.com

David, René; Alla, Hassane (2005). Discrete, continuous, and hybrid Petri Nets. Springer. ISBN 978-3-540-22480-8.

cam.ac.uk

cl.cam.ac.uk

Winskel, G.; Nielsen, M. "Models for Concurrency" (PDF). Handbook of Logic and the Foundations of Computer Science. Vol. 4. OUP. pp. 1–148. Archived from the original (PDF) on 2020-05-04.

degruyter.com

Scheuring, Rainer; Wehlan, Herbert "Hans" (1991-12-01) [July 1991]. Bretthauer, Georg (ed.). "Der Boolesche Differentialkalkül – eine Methode zur Analyse und Synthese von Petri-Netzen" [The Boolean differential calculus – A method for analysis and synthesis of Petri nets]. At – Automatisierungstechnik – Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik (in German). 39 (7). Stuttgart, Germany: R. Oldenbourg Verlag [de]: 226–233. doi:10.1524/auto.1991.39.112.226. ISSN 0178-2312. S2CID 56766796. Archived from the original on 2017-10-16. Retrieved 2017-10-16. (8 pages)

doi.org

Petri, Carl Adam; Reisig, Wolfgang (2008). "Petri net". Scholarpedia. 3 (4): 6477. Bibcode:2008SchpJ...3.6477P. doi:10.4249/scholarpedia.6477.
Rozenburg, G.; Engelfriet, J. (1998). "Elementary Net Systems". In Reisig, W.; Rozenberg, G. (eds.). Lectures on Petri Nets I: Basic Models – Advances in Petri Nets. Lecture Notes in Computer Science. Vol. 1491. Springer. pp. 12–121. doi:10.1007/3-540-65306-6_14. ISBN 3-540-65306-6.
Reisig, Wolfgang (1991). "Petri Nets and Algebraic Specifications". Theoretical Computer Science. 80 (1): 1–34. doi:10.1016/0304-3975(91)90203-e.
Desel, Jörg; Juhás, Gabriel (2001). "What Is a Petri Net? Informal Answers for the Informed Reader". In Ehrig, Hartmut; et al. (eds.). Unifying Petri Nets. LNCS. Vol. 2128. Springer. pp. 1–25. doi:10.1007/3-540-45541-8_1. ISBN 9783540430674.
Meseguer, Jose; Montanari, Ugo (October 1990). "Petri nets are monoids". Information and Computation. 88 (2): 105–155. doi:10.1016/0890-5401(90)90013-8.
Küngas, P. (July 26–29, 2005). Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation—SARA 2005. Lecture notes in computer science. Vol. 3607. Airth Castle, Scotland, UK: Springer. pp. 149–164. doi:10.1007/11527862_11. ISBN 3-540-31882-8. Archived from the original on 2012-02-09. Retrieved 2008-07-10.
Murata, Tadao (April 1989). "Petri Nets: Properties, Analysis and Applications" (PDF). Proceedings of the IEEE. 77 (4): 541–558. doi:10.1109/5.24143. Retrieved 2024-05-26.
Kučera, Erik; Haffner, Oto; Drahoš, Peter; Cigánek, Ján; Leskovský, Roman; Štefanovič, Juraj (January 2020). "New Software Tool for Modeling and Control of Discrete-Event and Hybrid Systems Using Timed Interpreted Petri Nets". Applied Sciences. 10 (15): 5027. doi:10.3390/app10155027.
Jensen, Kurt (1997). "A brief introduction to coloured Petri Nets" (PDF). A brief introduction to colored Petri nets. Lecture Notes in Computer Science. Vol. 1217. pp. 203–208. doi:10.1007/BFb0035389. ISBN 978-3-540-62790-6.
Araki, T.; Kasami, T. (1977). "Some Decision Problems Related to the Reachability Problem for Petri Nets". Theoretical Computer Science. 3 (1): 85–104. doi:10.1016/0304-3975(76)90067-0.
Dufourd, C.; Finkel, A.; Schnoebelen, Ph. (1998). "Reset Nets Between Decidability and Undecidability". Proceedings of the 25th International Colloquium on Automata, Languages and Programming. Lecture Notes in Computer Science. Vol. 1443. pp. 103–115. doi:10.1007/11527862_11. ISBN 3-540-68681-9.
Zaitsev, D. A. (2013). "Toward the Minimal Universal Petri Net". IEEE Transactions on Systems, Man, and Cybernetics: Systems. 44: 47–58. doi:10.1109/TSMC.2012.2237549. S2CID 6561556.
Dawis, E. P.; Dawis, J. F.; Koo, Wei-Pin (2001). Architecture of Computer-based Systems using Dualistic Petri Nets. 2001 IEEE International Conference on Systems, Man, and Cybernetics. Vol. 3. pp. 1554–8. doi:10.1109/ICSMC.2001.973505. ISBN 0-7803-7087-2.
Dawis, E. P. (2001). Architecture of an SS7 Protocol Stack on a Broadband Switch Platform using Dualistic Petri Nets. 2001 IEEE Pacific Rim Conference on Communications, Computers and signal Processing. Vol. 1. pp. 323–6. doi:10.1109/PACRIM.2001.953588. ISBN 0-7803-7080-5.
van der Aalst, W. M. P. (1998). "The application of Petri nets to workflow management" (PDF). Journal of Circuits, Systems and Computers. 8 (1): 21–66. CiteSeerX 10.1.1.30.3125. doi:10.1142/s0218126698000043. S2CID 248401501. Archived from the original (PDF) on 2016-11-19. Retrieved 2015-04-02.
van Hee, K.; Sidorova, N.; Voorhoeve, M. (2003). "Soundness and separability of workflow nets in the stepwise refinement approach" (PDF). In van der Aalst, W. M. P.; Best, E. (eds.). Application and Theory of Petri Nets 2003. Lecture Notes in Computer Science. Vol. 2678. Springer. pp. 337–356. doi:10.1007/3-540-44919-1_22. ISBN 3-540-44919-1.
Scheuring, Rainer; Wehlan, Herbert "Hans" (1991-12-01) [July 1991]. Bretthauer, Georg (ed.). "Der Boolesche Differentialkalkül – eine Methode zur Analyse und Synthese von Petri-Netzen" [The Boolean differential calculus – A method for analysis and synthesis of Petri nets]. At – Automatisierungstechnik – Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik (in German). 39 (7). Stuttgart, Germany: R. Oldenbourg Verlag [de]: 226–233. doi:10.1524/auto.1991.39.112.226. ISSN 0178-2312. S2CID 56766796. Archived from the original on 2017-10-16. Retrieved 2017-10-16. (8 pages)
van der Aalst, W.M.P. (2018). "Business Process Management". Encyclopedia of Database Systems. Springer. pp. 370–374. doi:10.1007/978-1-4614-8265-9_1179. ISBN 978-1-4614-8266-6.
Favrin, Bean (2014-09-02). "esyN: Network Building, Sharing and Publishing". PLOS ONE. 9 (9): e106035. Bibcode:2014PLoSO...9j6035B. doi:10.1371/journal.pone.0106035. PMC 4152123. PMID 25181461.
Koch, Ina; Reisig, Wolfgang; Schreiber, Falk (2011). Modeling in Systems Biology - The Petri Net Approach. Computational Biology. Vol. 16. Springer. doi:10.1007/978-1-84996-474-6. ISBN 978-1-84996-473-9.
Kristensen, L. M.; Westergaard, M. (2010). "Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept". Formal Methods for Industrial Critical Systems. Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010. Lecture Notes in Computer Science. Vol. 6371. pp. 215–230. doi:10.1007/978-3-642-15898-8_14. ISBN 978-3-642-15897-1.
Gao, X.; Hu, Xinyan (2020). "A Petri Net Neural Network Robust Control for New Paste Backfill Process Model". IEEE Access. 8: 18420–18425. Bibcode:2020IEEEA...818420G. doi:10.1109/ACCESS.2020.2968510. S2CID 210994447.
Kučera, Erik; Haffner, Oto; Drahoš, Peter; Leskovský, Roman; Cigánek, Ján (January 2020). "PetriNet Editor + PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation". Applied Sciences. 10 (21): 7662. doi:10.3390/app10217662.
van der Aalst, W.M.P. (2016). Process Mining - Data Science in Action, Second Edition. Springer. doi:10.1007/978-3-662-49851-4. ISBN 978-3-662-49850-7. S2CID 12806779.
Carmona, J.; van Dongen, B.F.; Solti, A.; Weidlich, M. (2018). Conformance Checking - Relating Processes and Models. Springer. doi:10.1007/978-3-319-99414-7. ISBN 978-3-319-99413-0. S2CID 53250018.
Fernandez, J. L.; Sanz, R.; Paz, E.; Alonso, C. (19–23 May 2008). "Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph". IEEE International Conference on Robotics and Automation, 2008. Pasadena, CA, USA. pp. 1372–7. doi:10.1109/ROBOT.2008.4543394. ISBN 978-1-4244-1646-2.
Mendes, J. Marco; Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco (2012). "High-level Petri nets for the process description and control in service-oriented manufacturing systems". International Journal of Production Research. 50 (6). Taylor & Francis: 1650–1665. doi:10.1080/00207543.2011.575892. S2CID 39688855.
Fahland, D.; Gierds, C. (2013). "Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets". Active Flow and Combustion Control 2018. Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013. Lecture Notes in Computer Science. Vol. 7908. pp. 400–416. doi:10.1007/978-3-642-38709-8_26. ISBN 978-3-319-98176-5.
Yakovlev, Alex; Gomes, Luis; Lavagno, Luciano, eds. (2000). Hardware Design and Petri Nets. doi:10.1007/978-1-4757-3143-9. ISBN 978-1-4419-4969-1.
Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. (2002). Logic Synthesis for Asynchronous Controllers and Interfaces. Springer Series in Advanced Microelectronics. Vol. 8. doi:10.1007/978-3-642-55989-1. ISBN 978-3-642-62776-7. ISSN 1437-0387.
Cortadella, Jordi; Yakovlev, Alex; Rozenberg, Grzegorz, eds. (2002). Concurrency and Hardware Design. Lecture Notes in Computer Science. Vol. 2549. doi:10.1007/3-540-36190-1. ISBN 978-3-540-00199-7. ISSN 0302-9743. S2CID 42026227.
Bernardeschi, C.; De Francesco, N.; Vaglini, G. (1995). "A Petri nets semantics for data flow networks". Acta Informatica. 32 (4): 347–374. doi:10.1007/BF01178383. S2CID 7285573.
van der Aalst, Wil M. P.; Stahl, Christian; Westergaard, Michael (2013). "Strategies for Modeling Complex Processes Using Colored Petri Nets". Transactions on Petri Nets and Other Models of Concurrency VII. Lecture Notes in Computer Science. Vol. 7. pp. 6–55. doi:10.1007/978-3-642-38143-0_2. ISBN 978-3-642-38142-3.
van der Aalst, W.M.P. (2018). "Workflow Patterns". Encyclopedia of Database Systems. Springer. pp. 4717–4718. doi:10.1007/978-1-4614-8265-9_826. ISBN 978-1-4614-8266-6.
van der Aalst, W.M.P. (2018). "Workflow Model Analysis". Encyclopedia of Database Systems. Springer. pp. 4716–4717. doi:10.1007/978-1-4614-8265-9_1476. ISBN 978-1-4614-8266-6.
Juan, Marion; Mailland, David; Fifis, Nicolas; Gregoris, Guy (December 2021). "Modélisation des pannes d'une antenne active et modifications d'architecture". Techniques de l'Ingénieur. Sécurité des Systèmes Industriels. doi:10.51257/a-v1-se1221. S2CID 245057775.
ter Hofstede, Arthur H. M.; van der Aalst, Wil M. P.; Adams, Michael; Russell, Nick (2010). Hofstede, Arthur H. M; Aalst, Wil M. P; Adams, Michael; Russell, Nick (eds.). Modern Business Process Automation - YAWL and its Support Environment. doi:10.1007/978-3-642-03121-2. ISBN 978-3-642-03122-9.

dx.doi.org

Koch, Ina; Reisig, Wolfgang; Schreiber, Falk (2011). Modeling in Systems Biology - The Petri Net Approach. Computational Biology. Vol. 16. Springer. doi:10.1007/978-1-84996-474-6. ISBN 978-1-84996-473-9.
Juan, Marion; Mailland, David; Fifis, Nicolas; Gregoris, Guy (December 2021). "Modélisation des pannes d'une antenne active et modifications d'architecture". Techniques de l'Ingénieur. Sécurité des Systèmes Industriels. doi:10.51257/a-v1-se1221. S2CID 245057775.

harvard.edu

ui.adsabs.harvard.edu

Petri, Carl Adam; Reisig, Wolfgang (2008). "Petri net". Scholarpedia. 3 (4): 6477. Bibcode:2008SchpJ...3.6477P. doi:10.4249/scholarpedia.6477.
Favrin, Bean (2014-09-02). "esyN: Network Building, Sharing and Publishing". PLOS ONE. 9 (9): e106035. Bibcode:2014PLoSO...9j6035B. doi:10.1371/journal.pone.0106035. PMC 4152123. PMID 25181461.
Gao, X.; Hu, Xinyan (2020). "A Petri Net Neural Network Robust Control for New Paste Backfill Process Model". IEEE Access. 8: 18420–18425. Bibcode:2020IEEEA...818420G. doi:10.1109/ACCESS.2020.2968510. S2CID 210994447.

icm.edu.pl

pldml.icm.edu.pl

Clempner, Julio (2006). "Modeling shortest path games with Petri nets: a Lyapunov based theory". International Journal of Applied Mathematics and Computer Science. 16 (3): 387–397. ISSN 1641-876X.

llpn.com

"LLPN - Linear Logic Petri Nets". Archived from the original on 2005-11-03. Retrieved 2006-01-06.

mit.edu

mitpress.mit.edu

van der Aalst, W.M.P.; Stahl, C. (2011-05-27). Modeling Business Processes - A Petri Net-Oriented Approach. MIT Press. pp. 1–400. ISBN 9780262015387.

nih.gov

ncbi.nlm.nih.gov

Favrin, Bean (2014-09-02). "esyN: Network Building, Sharing and Publishing". PLOS ONE. 9 (9): e106035. Bibcode:2014PLoSO...9j6035B. doi:10.1371/journal.pone.0106035. PMC 4152123. PMID 25181461.

pubmed.ncbi.nlm.nih.gov

Favrin, Bean (2014-09-02). "esyN: Network Building, Sharing and Publishing". PLOS ONE. 9 (9): e106035. Bibcode:2014PLoSO...9j6035B. doi:10.1371/journal.pone.0106035. PMC 4152123. PMID 25181461.

ntnu.no

idi.ntnu.no

Küngas, P. (July 26–29, 2005). Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation—SARA 2005. Lecture notes in computer science. Vol. 3607. Airth Castle, Scotland, UK: Springer. pp. 149–164. doi:10.1007/11527862_11. ISBN 3-540-31882-8. Archived from the original on 2012-02-09. Retrieved 2008-07-10.

psu.edu

citeseer.ist.psu.edu

Esparza, Javier; Nielsen, Mogens (1995) [1994]. "Decidability issues for Petri nets – a survey". Bulletin of the EATCS (Revised ed.). Retrieved 2014-05-14.
Lipton, R. (1976). "The Reachability Problem Requires Exponential Space". Technical Report 62. Yale University: 305–329.

citeseerx.ist.psu.edu

van der Aalst, W. M. P. (1998). "The application of Petri nets to workflow management" (PDF). Journal of Circuits, Systems and Computers. 8 (1): 21–66. CiteSeerX 10.1.1.30.3125. doi:10.1142/s0218126698000043. S2CID 248401501. Archived from the original (PDF) on 2016-11-19. Retrieved 2015-04-02.

semanticscholar.org

api.semanticscholar.org

Zaitsev, D. A. (2013). "Toward the Minimal Universal Petri Net". IEEE Transactions on Systems, Man, and Cybernetics: Systems. 44: 47–58. doi:10.1109/TSMC.2012.2237549. S2CID 6561556.
van der Aalst, W. M. P. (1998). "The application of Petri nets to workflow management" (PDF). Journal of Circuits, Systems and Computers. 8 (1): 21–66. CiteSeerX 10.1.1.30.3125. doi:10.1142/s0218126698000043. S2CID 248401501. Archived from the original (PDF) on 2016-11-19. Retrieved 2015-04-02.
Scheuring, Rainer; Wehlan, Herbert "Hans" (1991-12-01) [July 1991]. Bretthauer, Georg (ed.). "Der Boolesche Differentialkalkül – eine Methode zur Analyse und Synthese von Petri-Netzen" [The Boolean differential calculus – A method for analysis and synthesis of Petri nets]. At – Automatisierungstechnik – Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik (in German). 39 (7). Stuttgart, Germany: R. Oldenbourg Verlag [de]: 226–233. doi:10.1524/auto.1991.39.112.226. ISSN 0178-2312. S2CID 56766796. Archived from the original on 2017-10-16. Retrieved 2017-10-16. (8 pages)
Gao, X.; Hu, Xinyan (2020). "A Petri Net Neural Network Robust Control for New Paste Backfill Process Model". IEEE Access. 8: 18420–18425. Bibcode:2020IEEEA...818420G. doi:10.1109/ACCESS.2020.2968510. S2CID 210994447.
van der Aalst, W.M.P. (2016). Process Mining - Data Science in Action, Second Edition. Springer. doi:10.1007/978-3-662-49851-4. ISBN 978-3-662-49850-7. S2CID 12806779.
Carmona, J.; van Dongen, B.F.; Solti, A.; Weidlich, M. (2018). Conformance Checking - Relating Processes and Models. Springer. doi:10.1007/978-3-319-99414-7. ISBN 978-3-319-99413-0. S2CID 53250018.
Mendes, J. Marco; Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco (2012). "High-level Petri nets for the process description and control in service-oriented manufacturing systems". International Journal of Production Research. 50 (6). Taylor & Francis: 1650–1665. doi:10.1080/00207543.2011.575892. S2CID 39688855.
Cortadella, Jordi; Yakovlev, Alex; Rozenberg, Grzegorz, eds. (2002). Concurrency and Hardware Design. Lecture Notes in Computer Science. Vol. 2549. doi:10.1007/3-540-36190-1. ISBN 978-3-540-00199-7. ISSN 0302-9743. S2CID 42026227.
Bernardeschi, C.; De Francesco, N.; Vaglini, G. (1995). "A Petri nets semantics for data flow networks". Acta Informatica. 32 (4): 347–374. doi:10.1007/BF01178383. S2CID 7285573.
Juan, Marion; Mailland, David; Fifis, Nicolas; Gregoris, Guy (December 2021). "Modélisation des pannes d'une antenne active et modifications d'architecture". Techniques de l'Ingénieur. Sécurité des Systèmes Industriels. doi:10.51257/a-v1-se1221. S2CID 245057775.

springer.com

link.springer.com

Jensen, Kurt (1997). "A brief introduction to coloured Petri Nets" (PDF). A brief introduction to colored Petri nets. Lecture Notes in Computer Science. Vol. 1217. pp. 203–208. doi:10.1007/BFb0035389. ISBN 978-3-540-62790-6.

tue.nl

wwwis.win.tue.nl

van der Aalst, W. M. P. (1998). "The application of Petri nets to workflow management" (PDF). Journal of Circuits, Systems and Computers. 8 (1): 21–66. CiteSeerX 10.1.1.30.3125. doi:10.1142/s0218126698000043. S2CID 248401501. Archived from the original (PDF) on 2016-11-19. Retrieved 2015-04-02.

win.tue.nl

van Hee, K.; Sidorova, N.; Voorhoeve, M. (2003). "Soundness and separability of workflow nets in the stepwise refinement approach" (PDF). In van der Aalst, W. M. P.; Best, E. (eds.). Application and Theory of Petri Nets 2003. Lecture Notes in Computer Science. Vol. 2678. Springer. pp. 337–356. doi:10.1007/3-540-44919-1_22. ISBN 3-540-44919-1.

uni-bielefeld.de

techfak.uni-bielefeld.de

"Petri Nets". www.techfak.uni-bielefeld.de. Archived from the original on 2011-09-27. Retrieved 2011-04-13.

web.archive.org

Küngas, P. (July 26–29, 2005). Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. Proceedings of the 6th International Symposium on Abstraction, Reformulation and Approximation—SARA 2005. Lecture notes in computer science. Vol. 3607. Airth Castle, Scotland, UK: Springer. pp. 149–164. doi:10.1007/11527862_11. ISBN 3-540-31882-8. Archived from the original on 2012-02-09. Retrieved 2008-07-10.
"Petri Nets". www.techfak.uni-bielefeld.de. Archived from the original on 2011-09-27. Retrieved 2011-04-13.
"Very Brief Introduction to CP-nets". Department of Computer Science, University of Aarhus, Denmark. Archived from the original on 2010-10-28. Retrieved 2007-08-22.
"LLPN - Linear Logic Petri Nets". Archived from the original on 2005-11-03. Retrieved 2006-01-06.
van der Aalst, W. M. P. (1998). "The application of Petri nets to workflow management" (PDF). Journal of Circuits, Systems and Computers. 8 (1): 21–66. CiteSeerX 10.1.1.30.3125. doi:10.1142/s0218126698000043. S2CID 248401501. Archived from the original (PDF) on 2016-11-19. Retrieved 2015-04-02.
Winskel, G.; Nielsen, M. "Models for Concurrency" (PDF). Handbook of Logic and the Foundations of Computer Science. Vol. 4. OUP. pp. 1–148. Archived from the original (PDF) on 2020-05-04.
Scheuring, Rainer; Wehlan, Herbert "Hans" (1991-12-01) [July 1991]. Bretthauer, Georg (ed.). "Der Boolesche Differentialkalkül – eine Methode zur Analyse und Synthese von Petri-Netzen" [The Boolean differential calculus – A method for analysis and synthesis of Petri nets]. At – Automatisierungstechnik – Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik (in German). 39 (7). Stuttgart, Germany: R. Oldenbourg Verlag [de]: 226–233. doi:10.1524/auto.1991.39.112.226. ISSN 0178-2312. S2CID 56766796. Archived from the original on 2017-10-16. Retrieved 2017-10-16. (8 pages)

wikipedia.org

de.wikipedia.org

Scheuring, Rainer; Wehlan, Herbert "Hans" (1991-12-01) [July 1991]. Bretthauer, Georg (ed.). "Der Boolesche Differentialkalkül – eine Methode zur Analyse und Synthese von Petri-Netzen" [The Boolean differential calculus – A method for analysis and synthesis of Petri nets]. At – Automatisierungstechnik – Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik (in German). 39 (7). Stuttgart, Germany: R. Oldenbourg Verlag [de]: 226–233. doi:10.1524/auto.1991.39.112.226. ISSN 0178-2312. S2CID 56766796. Archived from the original on 2017-10-16. Retrieved 2017-10-16. (8 pages)

worldcat.org

search.worldcat.org

Ping, L.; Hao, H.; Jian, L. (2004). Moldt, Daniel (ed.). On 1-soundness and soundness of workflow nets. Proc of the 3rd Workshop on Modelling of Objects, Components, and Agents. Vol. 571. Aarhus, Denmark: DAIMI PB. pp. 21–36. ISSN 0105-8517. OCLC 872760679.
Scheuring, Rainer; Wehlan, Herbert "Hans" (1991-12-01) [July 1991]. Bretthauer, Georg (ed.). "Der Boolesche Differentialkalkül – eine Methode zur Analyse und Synthese von Petri-Netzen" [The Boolean differential calculus – A method for analysis and synthesis of Petri nets]. At – Automatisierungstechnik – Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik (in German). 39 (7). Stuttgart, Germany: R. Oldenbourg Verlag [de]: 226–233. doi:10.1524/auto.1991.39.112.226. ISSN 0178-2312. S2CID 56766796. Archived from the original on 2017-10-16. Retrieved 2017-10-16. (8 pages)
Clempner, Julio (2006). "Modeling shortest path games with Petri nets: a Lyapunov based theory". International Journal of Applied Mathematics and Computer Science. 16 (3): 387–397. ISSN 1641-876X.
Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. (2002). Logic Synthesis for Asynchronous Controllers and Interfaces. Springer Series in Advanced Microelectronics. Vol. 8. doi:10.1007/978-3-642-55989-1. ISBN 978-3-642-62776-7. ISSN 1437-0387.
Cortadella, Jordi; Yakovlev, Alex; Rozenberg, Grzegorz, eds. (2002). Concurrency and Hardware Design. Lecture Notes in Computer Science. Vol. 2549. doi:10.1007/3-540-36190-1. ISBN 978-3-540-00199-7. ISSN 0302-9743. S2CID 42026227.
O'Connor, Patrick D. T. (2012). Practical reliability engineering. Andre Kleyner (5th ed.). Wiley. ISBN 978-1-119-96126-0. OCLC 862121371.