Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
IEEE Transactions on Software Engineering
Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation
Formal Methods in System Design
Efficient encoding schemes for symbolic analysis of petri nets
Proceedings of the conference on Design, automation and test in Europe
Inheritance of dynamic behavior
Concurrent object-oriented programming and petri nets
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Analysis issues in Petri nets with inhibitor arcs
Theoretical Computer Science
Structuring Acyclic Petri Nets for Reachability Analysis and Control
Discrete Event Dynamic Systems
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Electronic Commerce Research
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change
Information Systems Frontiers
The home marking problem and some related concepts
Acta Cybernetica
A structural encoding technique for the synthesis of asynchronous circuits
Fundamenta Informaticae - Application of concurrency to system design
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Discovering Workflow Performance Models from Timed Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Input/Output Compatibility of Reactive Systems
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Net Reductions for LTL Model-Checking
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Petri Net Based Certification of Event-Driven Process Chains
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Structural Methods to Improve the Symbolic Analysis of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Autonomous Continuous P/T Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Petri Net Based Behavioural Specification of CORBA Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Probabilistic cluster unfoldings
Fundamenta Informaticae
Structural Methods for the Synthesis of Speed-Independent Circuits
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Development of an International Standard for High-level Petri Nets
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Blocking a transition in a free choice net and what it tells about its throughput
Journal of Computer and System Sciences
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
ILP Models for the Synthesis of Asynchronous Control Circuits
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Distributed Monitoring of Concurrent and Asynchronous Systems*
Discrete Event Dynamic Systems
Merged processes: a new condensed representation of Petri net behaviour
CONCUR 2005 - Concurrency Theory
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
MTP: a Petri net-based framework for the analysis and transformation of SystemC designs
SCOPES '05 Proceedings of the 2005 workshop on Software and compilers for embedded systems
Information and Computation
Exact computation of minimum feedback vertex sets with relational algebra
Fundamenta Informaticae
YAWL: yet another workflow language
Information Systems
Backward coupling in petri nets
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Property-preserving subnet reductions for designing manufacturing systems with shared resources
Theoretical Computer Science
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
Clusters, Confusion and Unfoldings
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
A Novel Hierarchical Method For Decomposition And Design Of Workflow Models
Journal of Integrated Design & Process Science
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
Conformance checking of processes based on monitoring real behavior
Information Systems
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Detecting non-ergodic simulation models of logistics networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Making Petri Nets Safe and Free of Internal Transitions
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Refining and verifying regular Petri nets
International Journal of Systems Science
Proceedings of the 2008 Spring simulation multiconference
Information Processing Letters
Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions
Discrete Event Dynamic Systems
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Decomposition Theorems for Bounded Persistent Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
A Note on Persistent Petri Nets
Concurrency, Graphs and Models
Modularity in Process Models: Review and Effects
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Complexity metrics for Workflow nets
Information and Software Technology
Dynamic Slicing Techniques for Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Schedulability Analysis of Petri Nets Based on Structural Properties
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Process Mining towards Semantics
Advances in Web Semantics I
Decompositional Petri Net Reductions
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Reduction rules for YAWL workflows with cancellation regions and OR-joins
Information and Software Technology
A novel approach for process mining based on event types
Journal of Intelligent Information Systems
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Grammars Controlled by Special Petri Nets
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Why Does My Service Have No Partners?
Web Services and Formal Methods
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
On conditions for the liveness of weakly persistent nets
Information Processing Letters
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Deficiency Zero Petri Nets and Product Form
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
A Model Driven Approach to the Analysis of Timeliness Properties
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
The Triconnected Abstraction of Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Instantaneous Soundness Checking of Industrial Business Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Desynchronisation Technique Using Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Reduction rules for reset/inhibitor nets
Journal of Computer and System Sciences
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Unveiling Hidden Unstructured Regions in Process Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed Event Structures and the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
True-concurrency probabilistic models
Information and Computation
A possibility for modeling - order simulation of a remote protection
MIC '08 Proceedings of the 27th IASTED International Conference on Modelling, Identification and Control
Evolutionary design through reflective Petri nets: an application to workflow
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Process discovery and petri nets†
Mathematical Structures in Computer Science
Sequence-detectability analysis of interpreted Petri nets under partial state observations
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Typed event structures and the linear π-calculus
Theoretical Computer Science
Hardware and Petri nets: application to asynchronous circuit design
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Liveness verification of discrete event systems modeled by n-safe ordinary Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Woflan 2.0: a Petri-net-based workflow diagnosis tool
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Pro-active monitoring of electronic contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Deciding life-cycle inheritance on Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
On the siphon-based characterization of liveness in sequential resource allocation systems
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Distributed diagnosis of discrete-event systems using Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Separability in conflict-free petri nets
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Verifying generalized soundness of workflow nets
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
BPM'03 Proceedings of the 2003 international conference on Business process management
MIP-nets: a compositional model of multiagent interaction
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Controlling Petri net process models
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Correctness-preserving configuration of business process models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Interaction modeling using BPMN
BPM'07 Proceedings of the 2007 international conference on Business process management
Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
Fundamenta Informaticae
Graphical microcontroller programming tool based on extended S-System Petri net
CEA'10 Proceedings of the 4th WSEAS international conference on Computer engineering and applications
Simplified proof of the blocking theorem for free-choice Petri nets
Journal of Computer and System Sciences
Process discovery: capturing the invisible
IEEE Computational Intelligence Magazine
Visual microcontroller programming using extended S-system Petri nets
WSEAS Transactions on Computers
Application of if-conversion to verification and optimization of workflows
Programming and Computing Software
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Symbolic execution of acyclic workflow graphs
BPM'10 Proceedings of the 8th international conference on Business process management
Business trend analysis by simulation
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Configurable multi-perspective business process models
Information Systems
Model interoperability via Model Driven Development
Journal of Computer and System Sciences
The biconnected verification of workflow nets
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
Recommendation-based editor for business process modeling
Data & Knowledge Engineering
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
Refinement of synchronizable places with multi-workflow nets: weak termination preserved
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Finding a witness path for non-liveness in free-choice nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
On parametric steady state analysis of a generalized stochastic petri net with a fork-join subnet
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Kleene theorems for product systems
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
Checking order constraints in collaborative workflow with invariant analysis
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Modular modelling of software product lines with feature nets
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
On the application of WF-Nets for checking hybrid IDEF0-IDEF3 business process models
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Checking system boundedness using ordinary differential equations
Information Sciences: an International Journal
Translation of nets within nets in cross-organizational software process modeling
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Petriweb: a repository for petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
On the suitability of correctness criteria for business process models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Extremal throughputs in free-choice nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Determinate STG decomposition of marked graphs
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Branching cells as local states for event structures and nets: probabilistic applications
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Ensuring correctness during process configuration via partner synthesis
Information Systems
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
New algorithms for deciding the siphon-trap property
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
History-Dependent stochastic petri nets
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Genetic process mining: a basic approach and its challenges
BPM'05 Proceedings of the Third international conference on Business Process Management
Invariant analysis for ordering constraints of multi-view business process model
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
A concurrency-preserving translation from time Petri nets to networks of timed automata
Formal Methods in System Design
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Schedulability Analysis of Petri Nets Based on Structural Properties
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Making Petri Nets Safe and Free of Internal Transitions
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Complexity of the soundness problem of bounded workflow nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
On the α-reconstructibility of workflow nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
On profiles and footprints --- relational semantics for petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
P- and t-systems in the nets-within-nets-formalism
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra
Fundamenta Informaticae
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
A structural encoding technique for the synthesis of asynchronous circuits
Fundamenta Informaticae - Application of Concurrency to System Design
Probabilistic Cluster Unfoldings
Fundamenta Informaticae
Clusters, Confusion and Unfoldings
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Structural Analysis of Signal-Event Systems
Fundamenta Informaticae
Periodic scheduling of marked graphs using balanced binary words
Theoretical Computer Science
The difficulty of replacing an inclusive OR-join
BPM'12 Proceedings of the 10th international conference on Business Process Management
Isotactics as a foundation for alignment and abstraction of behavioral models
BPM'12 Proceedings of the 10th international conference on Business Process Management
Assigning Ontological Meaning to Workflow Nets
Journal of Database Management
On structures and behaviors of spiking neural p systems and petri nets
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Complexity analysis of continuous Petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
On negotiation as concurrency primitive
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
On Compositionality of Boundedness and Liveness for Nested Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Refinement of Synchronizable Places with Multi-workflow Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
Synthesis and Analysis of Product-form Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
Complexity of the Soundness Problem of Workflow Nets
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Hi-index | 0.01 |