Integrating BPR with image-based work flow
WSC '94 Proceedings of the 26th conference on Winter simulation
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
WSC '93 Proceedings of the 25th conference on Winter simulation
Design as interaction with computer based materials
DIS '97 Proceedings of the 2nd conference on Designing interactive systems: processes, practices, methods, and techniques
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling execution architecture of software system using colored Petri nets
Proceedings of the 1st international workshop on Software and performance
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
Architectural modeling in industry—an experience report
Proceedings of the 20th international conference on Software engineering
IEEE Transactions on Parallel and Distributed Systems
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
Enabling effective and emergent agent conversations
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
WCET Analysis of Superscalar Processors Using SimulationWith Coloured Petri Nets
Real-Time Systems - Special issue on worst-case execution-time analysis
Video artifacts for design: bridging the Gap between abstraction and detail
DIS '00 Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques
ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems
Computer Supported Cooperative Work
Dual transitions petri net based modelling technique for embedded systems specification
Proceedings of the conference on Design, automation and test in Europe
Modelling and visualizing agent conversations
Proceedings of the fifth international conference on Autonomous agents
Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
Modeling a library with THORNs
Concurrent object-oriented programming and petri nets
Inheritance of dynamic behavior
Concurrent object-oriented programming and petri nets
Object coloured Petri nets - a formal technique for object oriented modelling
Concurrent object-oriented programming and petri nets
Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Multimedia and multi-stream synchronization
Distributed multimedia databases
Modeling and analyzing separation of duties in workflow environments
Sec '01 Proceedings of the 16th international conference on Information security: Trusted information: the new decade challenge
Proceedings of the 2002 ACM symposium on Document engineering
Computational & Mathematical Organization Theory
Synthesis of Controllers of Processes Modeled as ColoredPetri Nets
Discrete Event Dynamic Systems
Modeling, Simulation and Analysis of Batch Production Systems
Discrete Event Dynamic Systems
The OCoN Approach to Workflow Modeling in Object-Oriented Systems
Information Systems Frontiers
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
Programming and Computing Software
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Simulating and Analyzing Railway Interlockings in ExSpect
IEEE Parallel & Distributed Technology: Systems & Technology
Modeling workflow processes with colored Petri nets
Computers in Industry
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Compositional Modelling of Workflow Processes
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Analyzing Separation of Duties in Petri Net Workflows
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Modeling Safety-Critical Systems with Z and Petri Nets
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
M-net Calculus Based Semantics for Triggers
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Petri Net Based Certification of Event-Driven Process Chains
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
An Approach to the Analysis of Interworking Traders
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Performance Results for an Implementation of the Process Coordination Language K2
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
PN to CSP Methodology: Improved Bounds
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Formal and natural computing
A formal service specification for IIOP based on ISO/IEC 14752
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
On defining the service provided by TCP
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Lightweight consistency analysis of dataflow process networks
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
An Operational Component Specification Method
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
FrameKit and the prototyping of CASE environments
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
An Analysis of the Design Constructs Required in Process Modelling
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Higher-order petri net modelling: techniques and applications
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Validating TCP connection management
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Creating an internet inter-ORB protocol service specification
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Synthesizing executable models of object oriented architectures
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Towards formal specification and analysis of avionics mission systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Modelling and initial analysis of operational planning processes using coloured petri nets
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
A coloured petri net based tool for course of action development and analysis
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Interaction Protocol Design: Application to an Agent-Based Teleteaching Project
ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
Theoretical Computer Science
A collaborative design process model in the sociotechnical engineering design framework
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
An improved formal specification of the Internet Open Trading Pprotocol
Proceedings of the 2004 ACM symposium on Applied computing
Monitoring and controlling of a multi-agent based workflow system
ACSW Frontiers '04 Proceedings of the second workshop on Australasian information security, Data Mining and Web Intelligence, and Software Internationalisation - Volume 32
Towards a multi-lingual workflow system: a practical outlook
ACSW Frontiers '04 Proceedings of the second workshop on Australasian information security, Data Mining and Web Intelligence, and Software Internationalisation - Volume 32
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Modeling and Analyzing of Workflow Authorization Management
Journal of Network and Systems Management
Structured nodes in UML 2.0 activities
Nordic Journal of Computing
Normalized workflow net (NWF-net): its definition and properties
Future Generation Computer Systems
Multitasking Supervisory Control of Discrete-Event Systems
Discrete Event Dynamic Systems
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Dealing with Global Guards in a Distributed Simulation of Colored Petri Nets
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
EACE '05 Proceedings of the 2005 annual conference on European association of cognitive ergonomics
Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN
Nordic Journal of Computing
Fast verification of the class of stop-and-wait protocols modelled by coloured Petri nets
Nordic Journal of Computing
JCPNet tool and automated analysis of distributed systems
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Analysis of VME-Bus communication protocol - RTCP-net approach
Real-Time Systems
Multimedia-based authorization and access control policy specification
Proceedings of the 3rd ACM workshop on Secure web services
YAWL: yet another workflow language
Information Systems
Performance analysis using CPN tools
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Specifying and simulating modern warfare scenarios with ITSimBw
Proceedings of the 38th conference on Winter simulation
Sensor, Filter, and Fusion Models with Rough Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Improving the quality of alerts and predicting intruder's next goal with Hidden Colored Petri-Net
Computer Networks: The International Journal of Computer and Telecommunications Networking
Discovering Concurrent Models from Data Tables with the ROSECON System
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Deriving protocol specifications from service specifications written as predicate/transition-nets
Computer Networks: The International Journal of Computer and Telecommunications Networking
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
A formal modeling approach for supply chain event management
Decision Support Systems
Cooperability In Train Control Systems: Specification Of Scenarios Using Open Nets
Journal of Integrated Design & Process Science
Journal of Integrated Design & Process Science - Component-Based System Development
On the Expressiveness of Mobile Synchronizing Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic design and evaluation of software architecture in critical systems development
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Safety Properties In Petri Net Modules
Journal of Integrated Design & Process Science
A Petri Net Based Method for Refining Object Oriented System Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
EURASIP Journal on Applied Signal Processing
Transformation methodology for UML 2.0 activity diagram into colored Petri nets
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
DFL: A dataflow language based on Petri nets and nested relational calculus
Information Systems
Detecting non-ergodic simulation models of logistics networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Application of BML to inter-agent communication in the ITSimBw simulation environment
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A real-time interface simulator for operator's training: a proposed architecture
Proceedings of the 2007 Summer Computer Simulation Conference
International Journal of Information and Computer Security
International Journal of Networking and Virtual Organisations
A Game-theoretic Approach to Behavioural Visualisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Modeling and performance evaluation of ATM switches
AIC'05 Proceedings of the 5th WSEAS International Conference on Applied Informatics and Communications
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Process Algebra with Local Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Facilitating Collaboration in a Distributed Software Development Environment Using P2P Architecture
Agents and Peer-to-Peer Computing
Parametric Language Analysis of the Class of Stop-and-Wait Protocols
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Petri Net-Based Simulation and Analysis of the Software Development Process
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
A Fuzzy Timed Object-Oriented Petri Net for Multi-Agent Systems
ISNN '08 Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Multiple-objective scheduling and real-time dispatching for the semiconductor manufacturing system
Computers and Operations Research
Quantifying the Performance of Workflows
Information Systems Management
Warehouse redesign to satisfy tight supply chain management constraints
WSEAS Transactions on Information Science and Applications
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
Hierarchical Classifiers for Complex Spatio-temporal Concepts
Transactions on Rough Sets IX
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Access Control Management for SCADA Systems
IEICE - Transactions on Information and Systems
Load management in model-aware execution of composite web services
Proceedings of the 2009 ACM symposium on Applied Computing
Transactions on Petri Nets and Other Models of Concurrency II
Web Services and Formal Methods
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters
Electronic Notes in Theoretical Computer Science (ENTCS)
TCPN-Based Tool for Timing Constraints Modelling and Validation
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Development of Safety-Critical Systems with RTCP-Nets Support
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Recursive Parametric Automata and ε-Removal
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
A concurrent automatic programming system
Proceedings of the 46th Annual Southeast Regional Conference on XX
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
Logic based formalization of UML use case modeling
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A unification-based approach to configure generic protocols into agent interaction models
International Journal of Agent-Oriented Software Engineering
Modeling and Verification of Privacy Enhancing Protocols
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics and Verification of Data Flow in UML 2.0 Activities
Electronic Notes in Theoretical Computer Science (ENTCS)
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Normalized workflow net (NWF-net): Its definition and properties
Future Generation Computer Systems
One kind of petri nets with systematized changeable structure
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Modeling the UPnP-UP protocol using Coloured Petri Nets
SoftCOM'09 Proceedings of the 17th international conference on Software, Telecommunications and Computer Networks
Santa Claus: Formal analysis of a process-oriented solution
ACM Transactions on Programming Languages and Systems (TOPLAS)
An approach to control generalized warehouses
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Parametric stochastic well-formed nets and compositional modelling
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Reducing k-safe Petri nets to pomset-equivalent 1-safe Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Composing abstractions of coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Savings in combinatorial auctions through transformation relationships
TADA/AMEC'06 Proceedings of the 2006 AAMAS workshop and TADA/AMEC 2006 conference on Agent-mediated electronic commerce: automated negotiation and strategy design for electronic markets
Coloured Petri nets: status and outlook
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Modelling mobility and mobile agents using nets within nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Coloured Petri nets in development of a pervasive health care system
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Prototyping object oriented specifications
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
BPM'03 Proceedings of the 2003 international conference on Business process management
A process-oriented model for authentication on the basis of a coloured Petri net
BPM'03 Proceedings of the 2003 international conference on Business process management
Pattern based workflow design using reference nets
BPM'03 Proceedings of the 2003 international conference on Business process management
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Branching processes of high-level Petri nets
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
RIO: roles, interactions and organizations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Modeling business contexture and behavior using business artifacts
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Modeling hierarchical mobile agent security protocol using CP nets
HiPC'07 Proceedings of the 14th international conference on High performance computing
A synthesis of concurrent systems: a rough set approach
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
BPM'07 Proceedings of the 5th international conference on Business process management
Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
Fundamenta Informaticae
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae
A systematic review of research on integration of ontologies with the model-driven approach
International Journal of Metadata, Semantics and Ontologies
Component-based security policy design with colored Petri nets
Semantics and algebraic specification
Generating transformation rules from examples for behavioral models
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Cluster Computing as an Assembly Process: Coordination with S-Net
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
A flexible, object-centric approach for business process modelling
Service Oriented Computing and Applications
Memory efficient state-space analysis in software model-checking
ACSC '10 Proceedings of the Thirty-Third Australasian Conferenc on Computer Science - Volume 102
Verification of the SIP transaction using coloured petri nets
ACSC '09 Proceedings of the Thirty-Second Australasian Conference on Computer Science - Volume 91
Coloured Petri net diagnosers for lumped process systems
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Component-based authoring of complex, Petri net-based digital library infrastructure
ECDL'10 Proceedings of the 14th European conference on Research and advanced technology for digital libraries
Expressive, efficient and obfuscation resilient behavior based IDS
ESORICS'10 Proceedings of the 15th European conference on Research in computer security
Product-based workflow support
Information Systems
Reinforcement learning based resource allocation in business process management
Data & Knowledge Engineering
Model-based testing approach for mobile agents using the paradigm of reference net
Multiagent and Grid Systems
Using colored petri nets to predict future states in agent-based scheduling and planning systems
Multiagent and Grid Systems - Advances in Agent-mediated Automated Negotiations
Situation prediction nets: playing the token game for ontology-driven situation awareness
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Building insightful simulation models using Petri Nets - A structured approach
Decision Support Systems
Hierarchical performance measurement and modeling of the linux file system
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Modeling, simulation, and practice of floor control for synchronous and ubiquitous collaboration
Multimedia Tools and Applications
Ontology Representation and Inference Based on State Controlled Coloured Petri Nets
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
New warehouse design methodology at strategic and operational level
ICOSSSE'07 Proceedings of the 6th WSEAS international conference on System science and simulation in engineering
Graph transformations and model-driven engineering
Service research challenges and solutions for the future internet
Building insightful simulation models using formal approaches: a case study on Petri nets
Winter Simulation Conference
Hybrid search algorithm to optimize scheduling problems for TCPN models
Proceedings of the 2010 Summer Computer Simulation Conference
HTCPNs: based tool for web-server clusters development
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
An ontology based approach for operational process modeling
Advanced Engineering Informatics
Formalization and verification of interaction protocols
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Hierarchical timed colored petri nets based product development process modeling
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
Process definition and project tracking in model driven engineering
PROFES'06 Proceedings of the 7th international conference on Product-Focused Software Process Improvement
Resource scheduling scheme for grid computing and its petri net model and analysis
ISPA'05 Proceedings of the 2005 international conference on Parallel and Distributed Processing and Applications
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Sweep-Line analysis of TCP connection management
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Using parametric automata for the verification of the stop-and-wait class of protocols
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Actor Petri net model for scientific workflows: model, design and system
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
Model transformation based verification of web services composition
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
A multi-agent framework for grid service workflow embedded with coloured petri nets
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Formalizing collaboration goal sequences for service choreography
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Multi-unit combinatorial reverse auctions with transformability relationships among goods
WINE'05 Proceedings of the First international conference on Internet and Network Economics
Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Multi-unit combinatorial reverse auctions with transformability relationships among goods
WINE'05 Proceedings of the First international conference on Internet and Network Economics
Using colored petri nets and tools to support mobile terminal and network software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Checking bounded reachability in asynchronous systems by symbolic event tracing
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Business independent model of mobile workforce management
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
A high level language for structural relations in well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Termination properties of TCP's connection management procedures
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Let's dance: a language for service behavior modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Modeling multiple interactions using coloured petri nets: a case study
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
On the notion of coupling in communication middleware
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Factorization properties of symbolic unfoldings of colored petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Example-Based sequence diagrams to colored petri nets transformation using heuristic search
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Symbolic semantics for the verification of security properties of mobile petri nets
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
A language for biochemical systems: design and formal specification
Transactions on Computational Systems Biology XII
Information flow query and verification for security policy of security-enhanced linux
IWSEC'06 Proceedings of the 1st international conference on Security
A two-level approach for modeling and verification of telecommunication systems
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
(Behavioural) design patterns as composition operators
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Verifying web services composition
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
A parametric state space for the analysis of the infinite class of stop-and-wait protocols
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Edutainment'06 Proceedings of the First international conference on Technologies for E-Learning and Digital Entertainment
Formal methods for modeling, refining and verifying autonomic components of computer networks
Transactions on Computational Science XV
People transfer in city transport modeled via CPN
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Tools for performance evaluation of computer systems: historical evolution and perspectives
PERFORM'10 Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges
Parallel file system measurement and modeling using colored petri nets
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Customized normalcy profiles for the detection of targeted attacks
EvoApplications'12 Proceedings of the 2012t European conference on Applications of Evolutionary Computation
Using simulation to test formally verified protocols in complex environments
Mathematical and Computer Modelling: An International Journal
The socio-organizational age of artificial intelligence in medicine
Artificial Intelligence in Medicine
HTCPNs---Based modelling and evaluation of dynamic computer cluster reconfiguration
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Integrating timed coloured Petri net models in the SIMIO simulation environment
Proceedings of the 2011 Summer Computer Simulation Conference
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Towards a formal integrated model of collaborative healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Fundamenta Informaticae - PETRI NETS 2007
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Discovering Concurrent Models from Data Tables with the ROSECON System
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Discovery of Asynchronous Concurrent Models from Experimental Tables
Fundamenta Informaticae - International Conference on Soft Computing and Distributed Processing (SCDP'2002)
Synthesis of Petri Net Models: A Rough Set Approach
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Petri nets for the verification of ubiquitous systems with transient secure association
UIC'07 Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing
A declarative framework for work process configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A key event path analysis approach for integrated systems
Modelling and Simulation in Engineering
Assigning Ontological Meaning to Workflow Nets
Journal of Database Management
Exploring modeling language for multi-touch systems using petri nets
Proceedings of the 2013 ACM international conference on Interactive tabletops and surfaces
A component-based end-to-end simulation of the Linux file system
Software and Systems Modeling (SoSyM)
Software and Systems Modeling (SoSyM)
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Hi-index | 0.00 |