Model Checking of Hierarchical State Machines, Proc. ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, pp.175-188, 1998. ,
Comparison of Encoding Schemes for Symbolic Model Checking of Bounded Petri Nets, 2010. ,
A Survey of Basic Net Models and Modular Net Classes Advances in Petri Nets ? The DEMON Project, LNCS, vol.609, pp.304-351, 1992. ,
The box calculus: A new causal algebra with multi-label communication, Advances in Petri Nets, pp.21-69, 1992. ,
DOI : 10.1007/3-540-55610-9_167
The Box Algebra ???; A Model of Nets and Process Expressions, ICATPN'99, pp.344-363, 1999. ,
DOI : 10.1007/3-540-48745-X_21
A Unified Model for Nets and Process Algebras, Handbook of Process Algebra, 2001. ,
DOI : 10.1016/B978-044482830-9/50032-1
Petri Net Algebra, EATCS Monographs in Theoretical Computer Science, 2001. ,
DOI : 10.1007/978-3-662-04457-5
The Box Algebra = Petri Nets + Process Expressions, Information and Computation, vol.178, issue.1, 2002. ,
Three equivalent semantics for CCS, Semantics of Systems of Concurrent Processes, pp.96-141, 1990. ,
DOI : 10.1007/3-540-53479-2_5
URL : https://hal.archives-ouvertes.fr/inria-00075078
Flow Models of Distributed Computations: Three Equivalent Semantics for CCS, Information and Computation, vol.114, issue.2, 1994. ,
DOI : 10.1006/inco.1994.1088
URL : https://hal.archives-ouvertes.fr/inria-00075078
Ten Years of Saturation: A Petri Net Perspective. Transactions on Petri Nets and Other Models of Concurrency, p.6900, 2012. ,
Milner???s Communicating Systems and Petri Nets, APN'82, Informatik-Fachberichte, 1982. ,
DOI : 10.1007/978-3-642-69028-0_4
A distributed operational semantics for CCS based on condition/event systems, Acta Informatica, vol.72, issue.1-2, 1988. ,
DOI : 10.1007/BF02915446
Construction of S-invariants and S-components for refined Petri boxes, APN'93, pp.242-261, 1993. ,
DOI : 10.1007/3-540-56863-8_50
S-invariant analysis of general recursive Petri boxes, Acta Informatica, vol.32, issue.4, 1995. ,
DOI : 10.1007/s002360050018
An Algebra of Non-safe Petri Boxes, AMAST'02, pp.192-207, 2002. ,
DOI : 10.1007/3-540-45719-4_14
Specification with Nets ? Report on Activities in Connection with " Requirements Capture with Nets, EU- ROCAST'89, 1989. ,
A concept of hierarchical Petri nets with building blocks, APN'91, pp.148-168, 1991. ,
DOI : 10.1007/3-540-56689-9_43
Axiomatizing CCS, nets and processes, Science of Computer Programming, vol.21, issue.3, 1993. ,
DOI : 10.1016/0167-6423(93)90010-M
Compilation et Vérification de Programmes LOTOS, 1989. ,
CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, 2013. ,
DOI : 10.1007/s10009-012-0244-z
URL : https://hal.archives-ouvertes.fr/hal-00715056
State Space Reduction for Process Algebra Specifications, Th. Comp. Sci, vol.351, issue.2, 2006. ,
DOI : 10.1007/978-3-540-27815-3_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.7148
Compilation and Verification of LOTOS Specifications, Proc. 10th Int. Symp. on Protocol Specification, Testing and Verification (PSTV'90), 1990. ,
On the Introduction of Exceptions in E-LOTOS, Proc. Int. Joint Conf. on Formal Description Techniques and Protocol Specification , Testing, and Verification FORTE/PSTV'96, 1996. ,
DOI : 10.1007/978-0-387-35079-0_30
On representing CCS programs by finite petri nets, MFCS'88, pp.339-350, 1988. ,
DOI : 10.1007/BFb0017157
CCS and petri nets, Semantics of Systems of Concurrent Processes, pp.334-357, 1990. ,
DOI : 10.1007/3-540-53479-2_14
On the relationship of CCS and petri nets, LNCS, vol.84, issue.172, pp.196-208, 1984. ,
DOI : 10.1007/3-540-13345-3_18
Csp-programs as nets with individual tokens, LNCS, vol.84, issue.188, pp.169-196, 1984. ,
DOI : 10.1007/3-540-15204-0_11
Distributed implementation of CCS, APN'91, pp.244-266, 1991. ,
DOI : 10.1007/3-540-56689-9_46
On the implementation of concurrent calculi in net calculi: two case studies, Theoretical Computer Science, vol.141, issue.1-2, 1995. ,
DOI : 10.1016/0304-3975(94)00073-R
A Petri Net Semantics of OC- CAM2, 1991. ,
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation, Fundamenta Informaticae, vol.94, pp.3-4, 2009. ,
DOI : 10.1007/978-3-540-68746-7_16
URL : https://hal.archives-ouvertes.fr/hal-01121192
Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987. ,
DOI : 10.1016/0167-6423(87)90035-9
A formal definition of hierarchical predicate transition nets, APN'96, pp.212-229, 1996. ,
DOI : 10.1007/3-540-61363-3_12
A Methodology for Constructing Predicate Transition Net Specifications . Software, Practice & Experience, vol.21, issue.8, 1991. ,
High-Level Petri Nets???Extensions, Analysis, and Applications, 2005. ,
DOI : 10.1016/B978-012170960-0/50035-9
A basic-net algebra for program semantics and its application to occam, Advances in Petri Nets, pp.179-214, 1992. ,
DOI : 10.1007/3-540-55610-9_172
Hierarchies in Coloured Petri Nets, APN'91, pp.313-341, 1989. ,
LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard ISO/IEC, vol.8807, 1989. ,
High-level Petri Nets ? Part 2: Transfer Format, International Standard ISO, pp.15909-15911, 2011. ,
Coloured Petri Nets ? Basic Concepts, Analysis Methods and Practical Use ? EATCS Monographs on Th. Computer Science, vol.1, 1992. ,
Implementing LOTOS specifications by communicating state machines, CONCUR'92, pp.386-400, 1992. ,
DOI : 10.1007/BFb0084805
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.5200
LOEWE: A LOTOS engineering workbench, Computer Networks and ISDN Systems, vol.25, issue.7, 1993. ,
DOI : 10.1016/0169-7552(93)90052-6
Méthodes Symboliques pour la Vérification de Processus Communicants: Etude et Mise en OEuvre, Univ. J. Fourier (Grenoble), 1994. ,
An algebra for parallelism based on petri nets, MFCS'78, pp.39-55, 1978. ,
DOI : 10.1007/3-540-08921-7_55
On structural properties of generalized processes, LNCS, vol.84, issue.188, pp.288-306, 1984. ,
DOI : 10.1007/3-540-15204-0_17
An Extensible Editor and Simulation Engine for Petri Nets: Renew, LNCS, vol.3099, pp.484-493, 2004. ,
DOI : 10.1007/978-3-540-27793-4_29
Nested Petri Nets ? a Formalism for Specification and Verification of Multi-Agent Distributed Systems, Fundamenta Informaticae, vol.43, pp.1-4, 2000. ,
Nested Petri Nets: Multi-level and Recursive Systems, Fundamenta Informaticae, vol.47, pp.3-4, 2001. ,
Combining CCS and Petri Nets Via Structural Axioms, Fundamenta Informaticae, vol.20, issue.123, 1994. ,
Petri Nets, Proc. of the IEEE, 1989. ,
DOI : 10.1016/B978-0-08-036201-4.50126-0
CCS ??? and its relationship to net theory, APN'86 (Part I), pp.393-415, 1986. ,
DOI : 10.1007/3-540-17906-2_32
Nets in modeling and simulation, LNCS, vol.84, pp.347-368, 1980. ,
DOI : 10.1007/3-540-10001-6_32
Macro E-Nets for Representation of Parallel Systems, IEEE Transactions on Computers, vol.22, issue.8, p.22, 1973. ,
DOI : 10.1109/TC.1973.5009150
Operational Petri net semantics for CCSP, LNCS, vol.87, issue.266, pp.196-223, 1986. ,
DOI : 10.1007/3-540-18086-9_27
Nets, Terms, and Formulas: Three Views of Concurrent Processes and Their Relationship, 1991. ,
DOI : 10.1017/CBO9780511526589
Petri Nets, ACM Computing Surveys, vol.9, issue.3, 1977. ,
DOI : 10.1145/356698.356702
Stepwise Refinements of Transitions and Places, APN'81, Informatik-Fachberichte, 1981. ,
DOI : 10.1007/978-3-642-68353-4_23
A method for stepwise refinement and abstraction of Petri nets, Journal of Computer and System Sciences, vol.27, issue.1, 1983. ,
DOI : 10.1016/0022-0000(83)90029-6
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, LNCS, vol.369, 1989. ,
Representing CCS programs by finite predicate/transition nets, Acta Informatica, vol.27, issue.6, 1989. ,
DOI : 10.1007/BF00277389
Analysis of petri nets by stepwise refinements, Journal of Computer and System Sciences, vol.18, issue.1, 1979. ,
DOI : 10.1016/0022-0000(79)90050-3
Petri Nets as Token Objects, ICATPN'98, pp.1-25, 1998. ,
DOI : 10.1007/3-540-69108-1_1
Object Petri Nets, ACPN'03, pp.819-848, 2003. ,
DOI : 10.1007/978-3-540-27755-2_23
Petri net models for algebraic theories of concurrency, LNCS, vol.87, issue.259, pp.224-242, 1987. ,
DOI : 10.1007/3-540-17945-3_13