PNeS in Modelling, Control and Analysis of Concurrent Systems

[1]  Jin-Fu Chang,et al.  Knowledge Representation Using Fuzzy Petri Nets , 1990, IEEE Trans. Knowl. Data Eng..

[2]  Rüdiger Valk.  Self-Modifying Nets, a Natural Extension of Petri Nets , 1978, ICALP.

[3]  Jacques Vautherin,et al.  Analysing Nets by the Invariant Method , 1986 .

[4]  Roland Meyer,et al.  Petruchio: From Dynamic Networks to Nets , 2010, CAV.

[5]  MuDer Jeng,et al.  A review of synthesis techniques for Petri nets with applications to automated manufacturing systems , 1993, IEEE Trans. Syst. Man Cybern..

[6]  Zbigniew Suraj,et al.  Weighted Generalized Fuzzy Petri Nets and Rough Sets for Knowledge Representation and Reasoning , 2020, IJCRS.

[7]  Kurt Jensen,et al.  Computer Tools for High-level Petri Nets , 1991 .

[8]  Zdzis?aw Pawlak,et al.  Rough sets , 2005, International Journal of Computer & Information Sciences.

[9]  Eike Best,et al.  PEP - More than a Petri Net Tool , 1996, TACAS.

[10]  Mohamed Ariff Ameedeen,et al.  A Survey of Petri Net Tools , 2015 .

[11]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[12]  Louchka Popova-Zeugmann,et al.  On Time Petri Nets , 1991, J. Inf. Process. Cybern..

[13]  Carl G. Looney,et al.  Fuzzy Petri nets for rule-based decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[14]  P. H. Starke.  On the mutual simulatability of different types of Petri nets , 1987 .

[15]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[16]  Jack B. Dennis,et al.  Petri Nets , 2011, Encyclopedia of Parallel Computing.

[17]  Eike Best.  Structure Theory of Petri Nets: the Free Choice Hiatus , 1986 .

[18]  Martin Schwarick,et al.  Snoopy - A Unifying Petri Net Tool , 2012, Petri Nets.

[19]  Witold Pedrycz,et al.  A generalized fuzzy Petri net model , 1994, IEEE Trans. Fuzzy Syst..

[20]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[21]  Zbigniew Suraj.  A New Class of Fuzzy Petri Nets for Knowledge Representation and Reasoning , 2013, Fundam. Informaticae.

[22]  Samuel Kounev,et al.  QPME: a performance modeling tool based on queueing Petri Nets , 2009, PERV.

[23]  Gérard Berthelot.  Transformations and Decompositions of Nets , 1986 .

[24]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[25]  Wolfgang Reisig,et al.  Lectures on Concurrency and Petri Nets , 2003, Lecture Notes in Computer Science.