On the composition of time Petri nets

DOI10.1007/S10626-011-0102-2MaRDI QIDQ645045zbMATH OpenOpenAlexFDO

Authors Florent Peres, Bernard Berthomieu, François Vernadat

Publication date 8 November 2011

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-011-0102-2

zbMATH Keywords

concurrencydistributed systemcompositionalityPetri netmodel transformationreal time systemtime Petri net

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1696462
• scientific article; zbMATH DE number 4143457
• The expressive power of time Petri nets
• scientific article; zbMATH DE number 1228291
• Time and Petri nets
• scientific article; zbMATH DE number 4209631
• Time Recursive Petri Nets

Cites work

• scientific article; zbMATH DE number 1956600 (Why is no real title available?)
• Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
• Characterizing finite Kripke structures in propositional temporal logic
• Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
• Compositional specification of timed systems
• Computer Aided Verification
• Formal Modeling and Analysis of Timed Systems
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences

Cited in

(12)

• scientific article; zbMATH DE number 4143457 (Why is no real title available?)
• scientific article; zbMATH DE number 1799524 (Why is no real title available?)
• A compositional partial order semantics for Petri net components
• On persistency in time Petri nets
• scientific article; zbMATH DE number 2088660 (Why is no real title available?)
• On Multi-enabledness in Time Petri Nets
• Applications and Theory of Petri Nets 2004
• Formalization of Petri nets with clocks
• A brief survey and synthesis of the roles of time in Petri nets.
• scientific article; zbMATH DE number 2088661 (Why is no real title available?)
• scientific article; zbMATH DE number 1696462 (Why is no real title available?)
• Comparative trace semantics of time Petri nets

Describes a project that uses

Uses Software

• TINA

This page was built for publication: On the composition of time Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645045)