Publication:4023496
From MaRDI portal
zbMath0762.68004MaRDI QIDQ4023496
Publication date: 23 January 1993
68U07: Computer science aspects of computer-aided design
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Unnamed Item, Experimenting Formal Proofs of Petri Nets Refinements, Nested Petri Nets for Adaptive Process Modeling, Inheritance of behavior, Software modeling and analysis using a hierarchical object-oriented Petri net, Petri net-based modelling of workflow systems: An overview, A pragmatic behavior subtyping relation based on both states and actions, A verifiable low-level concurrent programming model based on colored Petri nets, Approximating the buffer allocation problem using epochs, Properties of enhanced mobile membranes via coloured Petri nets, Multitasking supervisory control of discrete-event systems, Process variety modeling for process configuration in mass customization: an approach based on object-oriented Petri nets with changeable structures, Mathematical programming approach to the Petri nets reachability problem, Analysis of VME-bus communication protocol -- RTCP-net approach, Multiple-objective scheduling and real-time dispatching for the semiconductor manufacturing system, M-nets: a survey, Temporal analysis of data flow control systems, General parameterised refinement and recursion for the M-net calculus, Modelling real world industrial systems: an inter-disciplinary approach based on Petri nets, Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets, Solving flexible job-shop scheduling problem using gravitational search algorithm and colored Petri net, A well-structured framework for analysing Petri net extensions, Clustering for Petri nets, Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells, Petri net modules in the transformation-based component framework, Operational semantics for Petri net components, Petri net based scheduling, Unnamed Item, A Language for Biochemical Systems: Design and Formal Specification, A hierarchical decomposition of decision process Petri nets for modeling complex systems, Towards a Standard for Modular Petri Nets: A Formalisation, Petri net models of flexible and automated manufacturing systems: a survey
