Article

Decidability and Complexity of Petri Net Problems - An Introduction

Author:

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets

Pages 374 - 428

Published: 01 September 1996 Publication History

Abstract

No abstract available.

Cited By

View all

Desel JEsparza JHoffmann P(2019)Negotiation as concurrency primitiveActa Informatica10.1007/s00236-018-0318-956:2(93-159)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s00236-018-0318-9
Kasinathan PCuellar JGiustiniano DKoutsonikolas DBanchs AMingozzi EChowdhury K(2018)Securing the Integrity of Workflows in IoTProceedings of the 2018 International Conference on Embedded Wireless Systems and Networks10.5555/3234847.3234908(252-257)Online publication date: 16-Feb-2018
https://dl.acm.org/doi/10.5555/3234847.3234908
Brázdil TChatterjee KKučera ANovotný PVelan DZuleger F(2018)Efficient Algorithms for Asymptotic Bounds on Termination Time in VASSProceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3209108.3209191(185-194)Online publication date: 9-Jul-2018
https://dl.acm.org/doi/10.1145/3209108.3209191
Show More Cited By

Decidability and Complexity of Petri Net Problems - An Introduction

Recommendations

The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri Nets

This paper presents an overview of the Petri Net Baukasten developed by the "DFG-Forschergruppe Petrinetz-Technologie" in Berlin. The Petri Net Baukasten provides a unified presentation with different views on theory, application, and tools of Petri ...
DECIDABILITY QUESTIONS FOR PETRI NETS
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri Nets

We show in this paper how the formalism of Parameterized Net Classes is realized with the Petri Net Kernel. Parameterized Net Classes are an abstract notion of Petri nets using formal parameters to express Petri net type characteristics. This formalism ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets

September 1996

681 pages

ISBN:3540653066

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 September 1996

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

61
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Desel JEsparza JHoffmann P(2019)Negotiation as concurrency primitiveActa Informatica10.1007/s00236-018-0318-956:2(93-159)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s00236-018-0318-9
Kasinathan PCuellar JGiustiniano DKoutsonikolas DBanchs AMingozzi EChowdhury K(2018)Securing the Integrity of Workflows in IoTProceedings of the 2018 International Conference on Embedded Wireless Systems and Networks10.5555/3234847.3234908(252-257)Online publication date: 16-Feb-2018
https://dl.acm.org/doi/10.5555/3234847.3234908
Brázdil TChatterjee KKučera ANovotný PVelan DZuleger F(2018)Efficient Algorithms for Asymptotic Bounds on Termination Time in VASSProceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3209108.3209191(185-194)Online publication date: 9-Jul-2018
https://dl.acm.org/doi/10.1145/3209108.3209191
Ponce De León HMokhov A(2018)Compact and efficiently verifiable models for concurrent systemsFormal Methods in System Design10.1007/s10703-018-0316-053:3(407-431)Online publication date: 1-Dec-2018
https://dl.acm.org/doi/10.1007/s10703-018-0316-0
Aminof BKotek TRubin SSpegni FVeith H(2018)Parameterized model checking of rendezvous systemsDistributed Computing10.1007/s00446-017-0302-631:3(187-222)Online publication date: 1-Jun-2018
https://dl.acm.org/doi/10.1007/s00446-017-0302-6
Bouajjani AEnea CGuerraoui RHamza J(2017)On verifying causal consistencyACM SIGPLAN Notices10.1145/3093333.300988852:1(626-638)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3093333.3009888
Valmari A(2017)Stop It, and Be Stubborn!ACM Transactions on Embedded Computing Systems10.1145/301227916:2(1-26)Online publication date: 10-Jan-2017
https://dl.acm.org/doi/10.1145/3012279
Bouajjani AEnea CGuerraoui RHamza JCastagna GGordon A(2017)On verifying causal consistencyProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009888(626-638)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3009837.3009888
Bloem RJacobs SKhalimov AKonnov IRubin SVeith HWidder J(2016)Decidability in Parameterized VerificationACM SIGACT News10.1145/2951860.295187347:2(53-64)Online publication date: 3-Jun-2016
https://dl.acm.org/doi/10.1145/2951860.2951873
Gorrieri R(2015)Language Representability of Finite P/T NetsEssays Dedicated to Pierpaolo Degano on Programming Languages with Applications to Biology and Security - Volume 946510.5555/2963891.2963908(262-282)Online publication date: 1-Aug-2015
https://dl.acm.org/doi/10.5555/2963891.2963908
Show More Cited By

Abstract

Cited By

Recommendations

The »Petri Net Baukasten«: An Overview

DECIDABILITY QUESTIONS FOR PETRI NETS

Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations