Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-8

Modeling and analysis of failure propagation of mechanical system with multi-operation states using high-level Petri net

Jianing Wu, Shaoze Yan, RX Gao

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Free access

Research article

First published 2007-5

Integration of the Cimosa and high-level coloured Petri net modelling techniques with application in the postal process using hierarchical dispatching rules

K S Wong, R M Parkin, J Coy

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 2011-12

High-Level Petri Net Model Checking with AlPiNA

Steve Hostettler, Alexis Marechal, Alban Linard [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2014-12

Structural and Dynamic Restrictions of Elementary Object Systems

Frank Heitmann, Michael Köhler-Bußmeier

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

Modelling with Hierarchical Object Petri Nets

Berndt Farwer, Kundan Misra

Fundamenta Informaticae

Retricted access

Research article

First published 2024-09-20

Taking Complete Finite Prefixes To High Level,Symbolically *

Nick Würdemann, Thomas Chatain, Stefan Haar [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2000-8

A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures

Berndt Farwer

Fundamenta Informaticae

Retricted access

Research article

First published 2006-6

Timed Approximate Petri Nets

Zbigniew Suraj, Barbara Fryc

Fundamenta Informaticae

Retricted access

Research article

First published 2002-3

A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems

Hanna Klaudel, Franck Pommereau

Fundamenta Informaticae

Retricted access

Research article

First published 2002-6

Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures

Bernard Farwer

Fundamenta Informaticae

Search results