scientific article; zbMATH DE number 5762567

MaRDI QIDQ3575995zbMATH OpenFDO

Authors Wolfgang Reisig

Publication date 28 July 2010

zbMATH Keywords

concurrencydistributed systemsPetri nets

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Petri nets. Theoretical models and analysis methods for concurrent systems
• scientific article; zbMATH DE number 4057072
• Modeling and analysis using hybrid Petri nets
• Petri nets. Fundamental models, verification and applications.
• scientific article; zbMATH DE number 1142925
• Understanding Petri Nets
• scientific article; zbMATH DE number 47952
• scientific article; zbMATH DE number 1836397

Cited in

(47)

• Discrete, Continuous, and Hybrid Petri Nets
• Application of Petri net theory in development of concurrent engineering
• Modular construction and partial order semantics of Petri nets
• Understanding Petri Nets
• Using Petri nets to study the life cycles of complex systems
• scientific article; zbMATH DE number 817432 (Why is no real title available?)
• scientific article; zbMATH DE number 3922334 (Why is no real title available?)
• scientific article; zbMATH DE number 39128 (Why is no real title available?)
• scientific article; zbMATH DE number 4045167 (Why is no real title available?)
• Coloured Petri Nets
• Modellbildung in der Informatik
• Petri Net Primer
• scientific article; zbMATH DE number 1987983 (Why is no real title available?)
• Modeling the dynamics of concurrent computing systems
• Petri-Netze
• Petri net-based modelling of workflow systems: An overview
• scientific article; zbMATH DE number 4050969 (Why is no real title available?)
• Modeling of information systems by Petri nets (the case of ASPID-7/SM)
• A Petri nets application in the mobile telephony
• scientific article; zbMATH DE number 4064501 (Why is no real title available?)
• Computer-based reduction technique for Petri nets
• Introduction to Petri nets
• Dynamic slicing techniques for Petri nets
• Realization of Petrinets: a system theoretic approach
• A Petri nets application
• scientific article; zbMATH DE number 1646978 (Why is no real title available?)
• Petri nets. Theoretical models and analysis methods for concurrent systems
• Dynamic analysis of Petri net-based discrete systems
• scientific article; zbMATH DE number 1973117 (Why is no real title available?)
• scientific article; zbMATH DE number 4066341 (Why is no real title available?)
• Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis
• Petri net based context-aware service modeling and interference discovery
• scientific article; zbMATH DE number 52953 (Why is no real title available?)
• scientific article; zbMATH DE number 1751931 (Why is no real title available?)
• scientific article; zbMATH DE number 926168 (Why is no real title available?)
• Modeling and simulation of distributed systems. With CD-ROM
• Nested Petri nets: modeling and analysis of distributed systems with object structure
• Modeling of discrete event systems: a holistic and incremental approach using Petri nets
• scientific article; zbMATH DE number 3876610 (Why is no real title available?)
• scientific article; zbMATH DE number 4057072 (Why is no real title available?)
• scientific article; zbMATH DE number 3958739 (Why is no real title available?)
• scientific article; zbMATH DE number 3982529 (Why is no real title available?)
• scientific article; zbMATH DE number 4197449 (Why is no real title available?)
• Domain modelling: a foundation for software development
• Manifest domains: analysis and description
• A Petri net system -- an overview
• Augmented marked graphs

This page was built for publication:

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