Modular Analysis of Petri Nets

DOI10.1093/comjnl/43.3.224zbMath0960.68125OpenAlexW2097948904MaRDI QIDQ4509344

No author found.

Publication date: 15 October 2000

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/43.3.224

zbMATH Keywords

high-level Petri netsmodular PT-nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

A UTP approach for rTiMo ⋮ A class of composable high level Petri nets ⋮ Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines ⋮ Reachability analysis based on structured representations ⋮ An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets ⋮ Simple Composition of Nets ⋮ Towards a Standard for Modular Petri Nets: A Formalisation ⋮ Tutorial and Survey Articles: An introduction to Petri Nets ⋮ A control method for distributed continuous mono-T-semiflow Petri nets

This page was built for publication: Modular Analysis of Petri Nets