chapter

Petri nets: basic notions, structure, behaviour

Authors:

G Rozenberg,

P S ThiagarajanAuthors Info & Claims

Current trends in concurrency. Overviews and tutorials

June 1986

Pages 585 - 668

Published: 01 June 1986 Publication History

Abstract

No abstract available.

Cited By

View all

Ouchani SMohamed ODebbabi M(2014)A formal verification framework for SysML activity diagramsExpert Systems with Applications: An International Journal10.1016/j.eswa.2013.10.06441:6(2713-2728)Online publication date: 1-May-2014
https://dl.acm.org/doi/10.1016/j.eswa.2013.10.064
Katoen JPeled D(2013)Taming confusion for modeling and implementing probabilistic concurrent systemsProceedings of the 22nd European conference on Programming Languages and Systems10.1007/978-3-642-37036-6_23(411-430)Online publication date: 16-Mar-2013
https://dl.acm.org/doi/10.1007/978-3-642-37036-6_23
Winkowski J(2011)Multiplicative Transition SystemsFundamenta Informaticae10.5555/2361328.2361334109:2(201-222)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.5555/2361328.2361334
Show More Cited By

Index Terms

Petri nets: basic notions, structure, behaviour

Recommendations

Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance Models

It had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and ...
Petri nets and resource bisimulation
Concurrency specification and programming

Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource ...
Petri nets and resource bisimulation
Concurrency Specification and Programming (CS&P'2002), Part 2

Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource ...

Comments

Information & Contributors

Information

Published In

Current trends in concurrency. Overviews and tutorials

June 1986

716 pages

ISBN:038716488X

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 June 1986

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 16 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ouchani SMohamed ODebbabi M(2014)A formal verification framework for SysML activity diagramsExpert Systems with Applications: An International Journal10.1016/j.eswa.2013.10.06441:6(2713-2728)Online publication date: 1-May-2014
https://dl.acm.org/doi/10.1016/j.eswa.2013.10.064
Katoen JPeled D(2013)Taming confusion for modeling and implementing probabilistic concurrent systemsProceedings of the 22nd European conference on Programming Languages and Systems10.1007/978-3-642-37036-6_23(411-430)Online publication date: 16-Mar-2013
https://dl.acm.org/doi/10.1007/978-3-642-37036-6_23
Winkowski J(2011)Multiplicative Transition SystemsFundamenta Informaticae10.5555/2361328.2361334109:2(201-222)Online publication date: 1-Apr-2011
https://dl.acm.org/doi/10.5555/2361328.2361334
Ni LChen GLi JHao Y(2011)Strongly secure identity-based authenticated key agreement protocolsComputers and Electrical Engineering10.1016/j.compeleceng.2011.03.00137:2(205-217)Online publication date: 1-Mar-2011
https://dl.acm.org/doi/10.1016/j.compeleceng.2011.03.001
Varacca DYoshida N(2010)Typed event structures and the linear π-calculusTheoretical Computer Science10.1016/j.tcs.2010.01.024411:19(1949-1973)Online publication date: 1-Apr-2010
https://dl.acm.org/doi/10.1016/j.tcs.2010.01.024
Winkowski J(2009)An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic PresentationFundamenta Informaticae10.5555/2365216.236522197:4(439-470)Online publication date: 1-Dec-2009
https://dl.acm.org/doi/10.5555/2365216.2365221
Winkowski J(2009)An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive PresentationFundamenta Informaticae10.5555/2365176.236518597:1-2(235-273)Online publication date: 1-Jan-2009
https://dl.acm.org/doi/10.5555/2365176.2365185
Winkowski J(2009)An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic PresentationFundamenta Informaticae10.5555/1737924.173792997:4(439-470)Online publication date: 1-Dec-2009
https://dl.acm.org/doi/10.5555/1737924.1737929
Winkowski J(2009)An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive PresentationFundamenta Informaticae10.5555/1735979.173598997:1-2(235-273)Online publication date: 1-Jan-2009
https://dl.acm.org/doi/10.5555/1735979.1735989
Ebrahim YAhmed MAbdelsalam WChau S(2009)Shape representation and description using the Hilbert curvePattern Recognition Letters10.1016/j.patrec.2008.09.01330:4(348-358)Online publication date: 1-Mar-2009
https://dl.acm.org/doi/10.1016/j.patrec.2008.09.013
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Non Equivalence between Time Petri Nets and Time Stream Petri Nets

Petri nets and resource bisimulation

Petri nets and resource bisimulation

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