Advances in Petri nets 1992
From MaRDI portal
Publication:6038433
DOI10.1007/3-540-55610-9zbMath1509.68017OpenAlexW4246973324MaRDI QIDQ6038433
No author found.
Publication date: 2 May 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-55610-9
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (10)
Petri nets for the design and operation of manufacturing systems ⋮ Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers ⋮ Complexity results for 1-safe nets ⋮ Trapping mutual exclusion in the box calculus ⋮ Bisimulation and action refinement ⋮ Inheritance of behavior ⋮ Steady-state performance evaluation of continuous mono-T-semiflow Petri nets ⋮ Inheritance of workflows: An approach to tackling problems related to change ⋮ Identification of biological regulatory networks from process hitting models ⋮ A generic causal model for place latency.
This page was built for publication: Advances in Petri nets 1992
