Synthesis of Admissible Behavior of Petri Nets for Partial Order Specifications

Discrete Event Systems ◽

10.1007/978-1-4615-4493-7_43 ◽

2000 ◽

pp. 409-420 ◽

Author(s):

A. Lüder ◽

H.-M. Hanisch

Keyword(s):

Download Full-text

Executions: a new partial-order semantics of Petri nets

Theoretical Computer Science ◽

10.1016/0304-3975(91)90084-f ◽

1991 ◽

Vol 91 (2) ◽

pp. 205-238 ◽

Author(s):

Walter Vogler

Keyword(s):

Partial Order ◽

Partial Order Semantics

Download Full-text

Towards Efficient Partial Order Techniques for Time Petri Nets

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-65955-4_8 ◽

2020 ◽

pp. 100-115

Author(s):

Kuangze Wang ◽

Hanifa Boucheneb ◽

Kamel Barkaoui ◽

Zhiwu Li

Keyword(s):

Partial Order ◽

Time Petri Nets

Download Full-text

Probabilistic Unfoldings and Partial Order Fairness in Petri Nets

Lecture Notes in Computer Science - Process Algebra and Probabilistic Methods: Performance Modeling and Verification ◽

10.1007/3-540-45605-8_7 ◽

2002 ◽

pp. 95-114

Author(s):

Stefan Haar

Keyword(s):

Download Full-text

Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets

Applications and Theory of Petri Nets 2001 - Lecture Notes in Computer Science ◽

10.1007/3-540-45740-2_19 ◽

2001 ◽

pp. 323-342 ◽

Author(s):

Wojciech Penczek ◽

Agata Półrola

Keyword(s):

Partial Order ◽

Time Petri Nets

Download Full-text

Modular Construction and Partial Order Semantics of Petri Nets

10.1007/3-540-55767-9 ◽

1992 ◽

Keyword(s):

Partial Order ◽

Modular Construction ◽

Partial Order Semantics

Download Full-text

Preserving Partial Order Runs in Parametric Time Petri Nets

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.20 ◽

2015 ◽

Author(s):

Etienne Andre ◽

Thomas Chatain ◽

Cesar Rodriguez

Keyword(s):

Partial Order ◽

Time Petri Nets

Download Full-text

Partial-Order Process Algebra (and its Relation to Petri Nets)

Handbook of Process Algebra ◽

10.1016/b978-044482830-9/50031-x ◽

2001 ◽

pp. 769-872 ◽

Author(s):

J.C.M. Baeten ◽

T. Basten

Keyword(s):

Partial Order ◽

Process Algebra ◽

Download Full-text

A partial order method for the verification of time Petri nets

Fundamentals of Computation Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-48321-7_46 ◽

1999 ◽

pp. 547-558 ◽

Author(s):

I. Virbitskaite ◽

E. Pokozy

Keyword(s):

Partial Order ◽

Time Petri Nets ◽

Download Full-text

Observing partial order runs of Petri Nets

Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0052091 ◽

1997 ◽

pp. 233-238

Author(s):

Astrid Kiehn

Keyword(s):

Download Full-text

Partial order behaviour and structure of Petri nets

Formal Aspects of Computing ◽

10.1007/bf01888220 ◽

1990 ◽

Vol 2 (1) ◽

pp. 123-138 ◽

Author(s):

Eike Best ◽

Jörg Desel

Keyword(s):

Download Full-text