Reduction rules for reset/inhibitor nets

Journal of Computer and System Sciences

Volumn 76, Issue 2, 2010, Pages 125-143

  Verbeek, H M W ^a   Wynn, M T ^b   van der Aalst, W M P ^a,b   ter Hofstede, A H M ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Boundedness; Inhibitor arcs; Liveness; Petri nets; Reduction rules; Reset arcs

Indexed keywords

MODELING LANGUAGES;

BOUNDEDNESS; INHIBITOR ARCS; LIVENESS; REDUCTION RULES; RESET ARCS;

PETRI NETS;

EID: 70450225257     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/j.jcss.2009.06.003     Document Type: Article

References (23)

1. Darondeau P. Unbounded Petri net synthesis. In: Desel J., Reisig W., and Rozenberg G. (Eds). Lectures on Concurrency and Petri Nets, Advances in Petri Nets. Lecture Notes in Comput. Sci. vol. 3098 (2003), Springer-Verlag, Eichstätt, Germany 413-428
2. Dufourd C., Finkel A., and Schnoebelen P. Reset nets between decidability and undecidability. In: Larsen K., Skyum S., and Winskel G. (Eds). Proceedings of the 25th International Colloquium on Automata, Languages and Programming. Lecture Notes in Comput. Sci. vol. 1443 (1998), Springer-Verlag, Aalborg, Denmark 103-115
3. Dufourd C., Jančar P., and Schnoebelen P. Boundedness of reset P/T nets. In: Wiedermann J., Boas P., and Nielsen M. (Eds). Lectures on Concurrency and Petri Nets. Lecture Notes in Comput. Sci. vol. 1644 (1999), Springer-Verlag, Prague, Czech Republic 301-310
4. Finkel A., Raskin J.-F., Samuelides M., and van Begin L. Monotonic extensions of Petri nets: Forward and backward search revisited. Electron. Notes Theoret. Comput. Sci. 68 6 (2002) 1-22
5. Finkel A., and Schnoebelen P. Well-structured transition systems everywhere!. Theoret. Comput. Sci. 256 1-2 (2001) 63-92. http://citeseer.ist.psu.edu/article/finkel98wellstructured.html
6. M. Hack, Petri net language, Tech. Rep., Cambridge, MA, USA, 1976
7. Peterson J.L. Petri nets. ACM Comput. Surveys 9 3 (1977) 223-252
8. Murata T. Petri nets: Properties, analysis and applications. Proc. IEEE 77 4 (1989) 541-580
9. Busi N. Analysis issues in Petri nets with inhibitor arcs. Theoret. Comput. Sci. 275 1-2 (2002) 127-177
10. Berthelot G. Transformations and decompositions of nets. In: Brauer W., Reisig W., and Rozenberg G. (Eds). Petri Nets: Central Models and Their Properties, Advances in Petri Nets, Proceedings of an Advanced Course, Part 1. Lecture Notes in Comput. Sci. vol. 254 (1986), Springer-Verlag, Bad Honnef 359-376
11. Desel J., and Esparza J. Free Choice Petri Nets. Cambridge Tracts Theoret. Comput. Sci. vol. 40 (1995), Cambridge University Press, Cambridge, United Kingdom
12. Sloan R.H., and Buy U.A. Reduction rules for time Petri nets. Acta Inform. 33 7 (1996) 687-706
13. Rumbaugh J., Jacobson I., and Booch G. The Unified Modeling Language Reference Manual (1999), Addison-Wesley
14. OMG, Business process modeling notation (BPMN) 1.0, OMG Final Adopted Specification dtc/06-02-01, 2006
15. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weerawarana, Business process execution language for web services, version 1.1, Specification, BEA Systems, IBM, Microsoft, May 2003
16. van der Aalst W.M.P. The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8 1 (1998) 21-66
17. W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, H.M.W. Verbeek, Choreography conformance checking: An approach based on BPEL and Petri nets (extended version), BPM Center Report BPM-05-25, BPMcenter.org, 2005
18. Duri S., Buy U., Devarapalli R., and Shatz S.M. Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada. ACM Trans. Softw. Eng. Meth. 3 4 (1994) 340-380
19. Peterson J.L. Petri Net Theory and the Modeling of Systems (1981), Prentice Hall, Englewood Cliffs, USA
20. K. Reinhardt, Reachability in Petri nets with inhibitor arcs, Technical Report WSI-96-30, Wilhelm Schickard Institut für Informatik, Universität Tübingen, 1996
21. Christensen S., and Hansen N. Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. Proceedings of the 14th International Conference on Application and Theory of Petri Nets (1993), Springer-Verlag, London, UK 186-205
22. Berthelot G. Checking properties of nets using transformation. Advances in Petri Nets 1985, Covers the 6th European Workshop on Applications and Theory in Petri Nets-Selected Papers (1986), Springer-Verlag, London, UK 19-40
23. Wynn M.T., Verbeek H.M.W., van der Aalst W.M.P., ter Hofstede A., and Edmond D. Business process verification-Finally a reality!. Business Process Manage. J. 15 1 (2009) 74-92. http://dx.doi.org/10.1108/14637150910931479 See also