Article

A Compositional Partial Order Semantics for Petri Net Components

Author:

Ekkart KindlerAuthors Info & Claims

ICATPN '97: Proceedings of the 18th International Conference on Application and Theory of Petri Nets

Pages 235 - 252

Published: 23 June 1997 Publication History

Abstract

No abstract available.

Cited By

View all

Dong XFu YVaracca D(2019)Extensional Petri netFormal Aspects of Computing10.1007/s00165-018-0473-331:1(47-58)Online publication date: 12-Feb-2019
https://dl.acm.org/doi/10.1007/s00165-018-0473-3
Baldan PBonchi FGadducci FMonreale G(2014)Encoding Synchronous Interactions Using Labelled Petri NetsProceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages - Volume 845910.1007/978-3-662-43376-8_1(1-16)Online publication date: 3-Jun-2014
https://dl.acm.org/doi/10.1007/978-3-662-43376-8_1
Haddad SHennicker RMøller M(2013)Channel properties of asynchronously composed petri netsProceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency10.1007/978-3-642-38697-8_20(369-388)Online publication date: 24-Jun-2013
https://dl.acm.org/doi/10.1007/978-3-642-38697-8_20
Show More Cited By

A Compositional Partial Order Semantics for Petri Net Components
1. Theory of computation
  1. Models of computation
    1. Concurrency
  2. Semantics and reasoning

Recommendations

Token Trail Semantics II - Petri Nets And Their Net Language
Application and Theory of Petri Nets and Concurrency
Abstract
There are various semantics for Petri nets. Some semantics can express concurrency well, others are good at modelling conflicts. Yet, every semantics has its drawbacks. State graphs explode in size when there is concurrency. Sequential and partial ...
Operational semantics for Petri net components

We propose a calculus for marked labelled nets (components), with places and transitions as atoms and merge, addition, fusion and relabelling as operators. The operators are defined using graph-based transformations; each net can be represented by a ...
A Concurrent and Compositional Petri Net Semantics of Preemption
IFM '00: Proceedings of the Second International Conference on Integrated Formal Methods

The aim of this paper is the introduction of preemption in a compositional model, called M-nets, which is based on Petri nets and hence provided with a concurrent semantics. We propose a way to model preemptible systems by extending the M-net model with ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICATPN '97: Proceedings of the 18th International Conference on Application and Theory of Petri Nets

June 1997

466 pages

ISBN:3540631399

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 23 June 1997

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Dong XFu YVaracca D(2019)Extensional Petri netFormal Aspects of Computing10.1007/s00165-018-0473-331:1(47-58)Online publication date: 12-Feb-2019
https://dl.acm.org/doi/10.1007/s00165-018-0473-3
Baldan PBonchi FGadducci FMonreale G(2014)Encoding Synchronous Interactions Using Labelled Petri NetsProceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages - Volume 845910.1007/978-3-662-43376-8_1(1-16)Online publication date: 3-Jun-2014
https://dl.acm.org/doi/10.1007/978-3-662-43376-8_1
Haddad SHennicker RMøller M(2013)Channel properties of asynchronously composed petri netsProceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency10.1007/978-3-642-38697-8_20(369-388)Online publication date: 24-Jun-2013
https://dl.acm.org/doi/10.1007/978-3-642-38697-8_20
van Hee KMooij ASidorova Nvan der Werf J(2010)Soundness-preserving refinements of service compositionsProceedings of the 7th international conference on Web services and formal methods10.5555/1987781.1987790(131-145)Online publication date: 16-Sep-2010
https://dl.acm.org/doi/10.5555/1987781.1987790
Baldan PBonchi FGadducci FMonreale G(2010)Concurrency can't be observed, asynchronouslyProceedings of the 8th Asian conference on Programming languages and systems10.5555/1947873.1947912(424-438)Online publication date: 28-Nov-2010
https://dl.acm.org/doi/10.5555/1947873.1947912
van Hee KSidorova Nvan der Werf J(2010)Construction of asynchronous communicating systemsProceedings of the 9th international conference on Software composition10.5555/1894424.1894436(106-121)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.5555/1894424.1894436
Chatain TFabre E(2010)Factorization properties of symbolic unfoldings of colored petri netsProceedings of the 31st international conference on Applications and Theory of Petri Nets10.1007/978-3-642-13675-7_11(165-184)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-13675-7_11
Bonchi FMontanari U(2009)Coalgebraic symbolic semanticsProceedings of the 3rd international conference on Algebra and coalgebra in computer science10.5555/1812941.1812958(173-190)Online publication date: 7-Sep-2009
https://dl.acm.org/doi/10.5555/1812941.1812958
Bonchi FMontanari U(2009)Reactive systems, (semi-)saturated semantics and coalgebras on presheavesTheoretical Computer Science10.1016/j.tcs.2009.06.010410:41(4044-4066)Online publication date: 1-Sep-2009
https://dl.acm.org/doi/10.1016/j.tcs.2009.06.010
Aalst WHee KMassuthe PSidorova NWerf J(2009)Compositional Service TreesProceedings of the 30th International Conference on Applications and Theory of Petri Nets10.1007/978-3-642-02424-5_17(283-302)Online publication date: 18-Jun-2009
https://dl.acm.org/doi/10.1007/978-3-642-02424-5_17
Show More Cited By

Abstract

Cited By

Recommendations

Token Trail Semantics II - Petri Nets And Their Net Language

Operational semantics for Petri net components

A Concurrent and Compositional Petri Net Semantics of Preemption

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations