caa a22 4500 605516219 CHVBK 20210128100713.0 cr unu---uuuuu 210128e20151101xx s 000 0 eng 10.1007/s00165-015-0341-3 doi (NATIONALLICENCE)springer-10.1007/s00165-015-0341-3 A reduced maximality labeled transition system generation for recursive Petri nets [Elektronische Daten] [Messaouda Bouneb, Djamel Saidouni, Jean Ilie] In Saidouni etal. (Maximality semantic for recursive Petri net. Europeen conference on modelling and simulation (ECMS'13) pp 544-550, 2013) a maximality operational semantics has been defined for the recursive Petri net model. This operational semantics generates a true concurrency structure named maximality-based labeled transition systems (MLTS). This paper proposes an approach that generates an on-the-fly reduced MLTS modulo a maximality bisimulation relation. The interest of the approach is shown using an example concerning the woodshop cutting system. British Computer Society, 2015 Maximality labeled transition systems nationallicence Maximality bisimulation nationallicence Recursive Petri nets nationallicence Bouneb Messaouda Department of Mathematics and Computer Sciences, El Arbi ben Mhidi University, Oum el bouaghi, Algeria aut Saidouni Djamel MISC Laboratory, Department of Fundamental Informatics and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria aut Ilie Jean Department of Computer Sciences, Pierre and Marie Curie University, Paris, France aut Formal Aspects of Computing Springer London 27/5-6(2015-11-01), 951-973 0934-5043 27:5-6<951 2015 27 165 https://doi.org/10.1007/s00165-015-0341-3 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s00165-015-0341-3 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Bouneb Messaouda Department of Mathematics and Computer Sciences, El Arbi ben Mhidi University, Oum el bouaghi, Algeria aut NATIONALLICENCE 700 1- Saidouni Djamel MISC Laboratory, Department of Fundamental Informatics and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria aut NATIONALLICENCE 700 1- Ilie Jean Department of Computer Sciences, Pierre and Marie Curie University, Paris, France aut NATIONALLICENCE 773 0- Formal Aspects of Computing Springer London 27/5-6(2015-11-01), 951-973 0934-5043 27:5-6<951 2015 27 165