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

(55)

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

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)