Stubborn set method for interpreted petri nets

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 3, Issue PART 1, 2006, Pages 227-232

  Karatkevich, Andrei ^a  

^a UNIVERSITY OF ZIELONA GÓRA   (Poland)

Author keywords

Formal models; Petri nets; Simulation; Verification

Indexed keywords

PETRI NETS; VERIFICATION;

DEADLOCK DETECTION; DISCRETE SYSTEMS; FORMAL MODEL; INTERPRETED PETRI NETS; PARALLEL SYSTEM; SIMULATION;

DISCRETE EVENT SIMULATION;

EID: 34547365120     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20060926-3-pl-4904.00038     Document Type: Conference Paper

References (16)

1. Andrzejewski, G. (2003). Programowy model interpretowanej sieci Petriego dla potrzeb projektowania mikrosystemow cyfrowych. Uniwersytet Zielonogorski. Zielona Gora.
2. Heiner, M. (1998). Petri net based system analysis without state explosion. In: Proc. High Performance Computing '98, Boston, April 1998. SCS Int.. San Diego. pp. 394-403.
3. Karatkevich, A. (2003). To behavior analysis of a class of petri nets. In: Proc. of 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming. Elsevier Ltd, Oxford, UK. Lagow, Poland. pp. 33-38.
4. Karatkevich, A. (2005). Deadlock detection in discrete concurrent systems. In: The experience of designing and application of CAD systems in microelectronics : proceedings of the VIIIth International Conference CADSM 2005. Lviv, Lviv Polytechnic National University. Ukraina. pp. 250-253.
5. Karatkevich, A. and G. Andrzejewski (2002). Analiza wybranych wlasnosci interpretowanej sieci petriego metoda optymalnej symulacji. In: Pierwsza Krajowa Konferencja Elektroniki - KKE 2002. Vol. 2. Koszalin, Wydzial Elektroniki Politechniki Koszalinskiej. Polska. pp. 685-690.
6. Lewis, R.W. (1995). Programming industrial control systems using IEC 1131-3. IEE. London.
7. Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77, 541-580.
8. Valmari, A. (1989). Stubborn sets for reduced state space generation. In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany; Supplement. pp. 1-22.
9. Valmari, A. (1994). State of the art report: Stubborn sets.. Petri Net Newsletter (46), 6-14.
10. Valmari, A. (1998). The state explosion problem.. Lecture Notes in Computer Science: Lectures on Petri Nets I: Basic Models 1491, 429-528.
11. Valmari, A., J. Kemppainen, M. Clegg and M. Levanto (1993). Putting advanced reachability analysis techniques together: the "ara" tool. In: FME. pp. 597-616.
12. Varpaaniemi, K. (1998). On the Stubborn Set Method in Reduced State Space Generation. PhD thesis. Helsinki University of Technology. Espoo, Finland.
13. Varpaaniemi, K. and M. Rauhamaa (1992). The stubborn set method in practice. In: Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings (Kurt Jensen, Ed.). Vol. 616 of LNCS. Springer-Verlag, Berlin, Germany. pp. 389-393.
14. Wolper, P. and P. Godefroid (1993). Partial-order methods for temporal verification. In: CONCUR '93: Proceedings of the 4th International Conference on Concurrency Theory. Springer-Verlag. pp. 233-246.
15. Zakrevskij, A. D. (1999). Parallel logical control algorithms. National Academy of Science of Belarus, Institute of Engineering Cybernetics. Minsk. in Russian.
16. Zakrevskij, A. D. (2005). Using Sequents for Description of Concurrent Digital Systems Behavior. In: Design of Embedded Control Systems (M. Adamski, A. Karatkevich and M. Wegrzyn, Eds.). Springer. USA. pp. 3-13.